{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:02:51Z","timestamp":1743066171664,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319014173"},{"type":"electronic","value":"9783319014180"}],"license":[{"start":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T00:00:00Z","timestamp":1376438400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T00:00:00Z","timestamp":1376438400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-01418-0_1","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T10:39:50Z","timestamp":1379500790000},"page":"1-16","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Plausibility Checks for Environment Constraints"],"prefix":"10.1007","author":[{"given":"Binghao","family":"Bao","sequence":"first","affiliation":[]},{"given":"J\u00f6rg","family":"Bormann","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Wedler","sequence":"additional","affiliation":[]},{"given":"Dominik","family":"Stoffel","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Kunz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,8,14]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Fujita, M., Zhu, Y.: Symbolic model checking using SAT procedures instead of BDDs. In: Proceedings of the International Design Automation Conference (DAC), New Orleans, LA, USA, pp.\u00a0317\u2013320 (1999)","DOI":"10.1145\/309847.309942"},{"key":"1_CR2","volume-title":"Vollst\u00e4ndige Verifikation","author":"J. Bormann","year":"2009","unstructured":"Bormann, J.: Vollst\u00e4ndige Verifikation. Dissertation, Technische Universit\u00e4t Kaiserslautern (2009)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Claessen, K.: A coverage analysis for safety property lists. In: Proceedings of the International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp.\u00a0139\u2013145. IEEE Computer Society, Austin, Texas, USA (2007)","DOI":"10.1109\/FAMCAD.2007.32"},{"key":"1_CR4","unstructured":"Langer, J., Heinkel, U.: High level synthesis using operation properties. In: Proceedings of Forum on Specification Design Languages (FDL 2009), Sophia Antipolis, France, pp.\u00a01\u20136 (2009)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Lee, T.C., Hsiung, P.A.: Mutation coverage estimation for model checking. In: Automated Technology for Verification and Analysis (ATVA), Taipei, Taiwan (2004)","DOI":"10.1007\/978-3-540-30476-0_29"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"McMillan, K.L.: Applying SAT methods in unbounded symbolic model checking. In: Proceedings of the International Conference on Computer Aided Verification (CAV), Copenhagen, Denmark (2002)","DOI":"10.1007\/3-540-45657-0_19"},{"issue":"11","key":"1_CR7","doi-asserted-by":"publisher","first-page":"2068","DOI":"10.1109\/TCAD.2008.2006092","volume":"27","author":"M.D. Nguyen","year":"2008","unstructured":"Nguyen, M.D., Thalmaier, M., Wedler, M., Bormann, J., Stoffel, D., Kunz, W.: Unbounded protocol compliance verification using interval property checking with invariants. IEEE Trans. Comput. Aided Des. 27(11), 2068\u20132082 (2008)","journal-title":"IEEE Trans. Comput. Aided Des."},{"key":"1_CR8","unstructured":"Onespin Solutions GmbH: Germany. OneSpin 360MV. http:\/\/www.onespin-solutions.com"},{"key":"1_CR9","volume-title":"On consistency and completeness of property sets: exploiting the property-based design process","author":"M. Schickel","year":"2006","unstructured":"Schickel, M., Nimbler, V., Braun, M., Eveking, H.: On consistency and completeness of property sets: exploiting the property-based design process. In: Proceedings of Forum on Design Languages, Darmstadt, Germany (2006)"},{"key":"1_CR10","volume-title":"SystemVerilog for Verification: A Guide to Learning the Testbench Language Features","author":"C. Spear","year":"2008","unstructured":"Spear, C.: SystemVerilog for Verification: A Guide to Learning the Testbench Language Features. Springer, Dordrecht, New York (2008)"},{"key":"1_CR11","unstructured":"Urdahl, J., Stoffel, D., Bormann, J., Wedler, M., Kunz, W.: Path predicate abstraction by complete interval property checking. In: Proceedings of the International Conference on Formal Methods in Computer-Aided Design (FMCAD), Lugano, Switzerland, pp. 207\u2013215 (2010)"},{"key":"1_CR12","volume-title":"Constraint-Based Verification","author":"J. Yuan","year":"2006","unstructured":"Yuan, J., Pixley, C., Aziz, A.: Constraint-Based Verification. Springer, New York (2006)"}],"container-title":["Lecture Notes in Electrical Engineering","Models, Methods, and Tools for Complex Chip Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-01418-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T16:22:50Z","timestamp":1675786970000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-01418-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,14]]},"ISBN":["9783319014173","9783319014180"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-01418-0_1","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2013,8,14]]},"assertion":[{"value":"14 August 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}