{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:56:33Z","timestamp":1780674993903,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540677703","type":"print"},{"value":"9783540450474","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722167_40","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T22:00:33Z","timestamp":1167429633000},"page":"538-542","source":"Crossref","is-referenced-by-count":95,"title":["FoCs \u2013 Automatic Generation of Simulation Checkers from Formal Specifications"],"prefix":"10.1007","author":[{"given":"Yael","family":"Abarbanel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ilan","family":"Beer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Leonid","family":"Gluhovsky","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sharon","family":"Keidar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yaron","family":"Wolfsthal","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"40_CR1","doi-asserted-by":"crossref","unstructured":"Beer, I., Ben-David, S., Eisner, C., Landver, A.: RuleBase: an Industry- Oriented Formal Verification Tool. In: Proc. DAC 1996, pp. 655\u2013660 (1996)","DOI":"10.1145\/240518.240642"},{"key":"40_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/3-540-63166-6_28","volume-title":"Computer Aided Verification","author":"I. Beer","year":"1997","unstructured":"Beer, I., Ben-David, S., Eisner, C., Rodeh, Y.: Efficient Detection of Va- cuity in ACTL Formulas. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 279\u2013290. Springer, Heidelberg (1997)"},{"key":"40_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/BFb0028744","volume-title":"Computer Aided Verification","author":"I. Beer","year":"1998","unstructured":"Beer, I., Ben-David, S., Landver, A.: On-The-Fly Model Checking of RCTL Formulas. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 184\u2013194. Springer, Heidelberg (1998)"},{"key":"40_CR4","doi-asserted-by":"crossref","unstructured":"Canfield, W., Emerson, E.A., Saha, A.: Checking Formal Specifications under Simulations. In: Proc. ICCD 1997 (1997)","DOI":"10.1109\/ICCD.1997.628908"},{"key":"40_CR5","doi-asserted-by":"crossref","unstructured":"Geist, D., Biran, G., Arons, T., Nustov, Y., Slavkin, M., Farkash, M., Holtz, K., Long, A., King, D., Barret, S.: A Methodology for Verification of a System on Chip. In: Proc. DAC 1999 (1999)","DOI":"10.1145\/309847.310001"},{"key":"40_CR6","doi-asserted-by":"crossref","unstructured":"Kantrowitz, M., Noack, L.M.: I\u2019m Done Simulating; Now What? Verification Coverage Analysis and Correctness. In: Proc. DAC 1996 (1996)","DOI":"10.1145\/240518.240580"},{"key":"40_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/BFb0028768","volume-title":"Computer Aided Verification","author":"M. Kaufmann","year":"1998","unstructured":"Kaufmann, M., Martin, A., Pixley, C.: Design Constraints in Symbolic Model Checking. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 477\u2013487. Springer, Heidelberg (1998)"},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"Schlipf, T., Buechner, T., Fritz, R., Helms, M., Koehl, J.: Formal verification Made Easy. IBM Journal of R&D\u00a041(4\/5) (1997)","DOI":"10.1147\/rd.414.0567"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722167_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T07:48:50Z","timestamp":1556005730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722167_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677703","9783540450474"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/10722167_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}