{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:48:57Z","timestamp":1725490137049},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417682"},{"type":"electronic","value":"9783540452416"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45241-9_23","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T10:24:00Z","timestamp":1188296640000},"page":"337-351","source":"Crossref","is-referenced-by-count":0,"title":["State Generation in the PARMC Model Checker"],"prefix":"10.1007","author":[{"given":"Owen","family":"Kaser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,29]]},"reference":[{"key":"23_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Synthesis of synchronization skeletons for branching time temporall ogic","author":"E. M. Clarke","year":"1982","unstructured":"E. M. Clarke and E. A. Emerson. Synthesis of synchronization skeletons for branching time temporall ogic. In Workshop, Logic of Programs, number 131 in LNCS. Springer-Verlag, 1981."},{"issue":"2","key":"23_CR2","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finitestate concurrent systems using temporall ogic specifications. ACM Trans. Prog. Lang. Syst., 8(2):244\u2013263, 1986.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Y. Dong and C. R. Ramakrishnan. An optimizing compiler for efficient model checking. In Proceeding of FORTE\/PSTV\u2019 99, 1999.","DOI":"10.1007\/978-0-387-35578-8_14"},{"key":"23_CR4","unstructured":"Y. Dong and C. R. Ramakrishnan. Logic programming optimizations for faster modelc hecking. In Workshop on Tabulation in Parsing and Deduction (TAPD\u201900), 2000. http:\/\/www.cs.sunysb.edu\/~cram ."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"E. A. Emerson. Temporal and modal logics. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 997\u20131072. MIT Press\/Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"23_CR6","unstructured":"O. Kaser. PARMC. http:\/\/rockwood.csd.unbsj.ca\/~owen\/research\/parmc ."},{"key":"23_CR7","series-title":"Technical Report","volume-title":"S-machine instructions and compilation","author":"O. Kaser","year":"2001","unstructured":"O. Kaser. S-machine instructions and compilation. Technical Report TR-01-001, ASCS Dept., UNBSJ, Saint John, Canada, Jan. 2001. ftp:\/\/fundy.csd.unbsj.ca\/mscs\/EQUALS\/tr-01-001.ps ."},{"key":"23_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K. L. McMillan","year":"1993","unstructured":"K. L. McMillan. Symbolic Model Checking. Kluwer Academic, Boston, 1993."},{"key":"23_CR9","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, S. A. Smolka, T. W. Swift, and D. S. Warren. Efficient model checking using tabled resolution. In CAV\u201997, 1997.","DOI":"10.1007\/3-540-63166-6_16"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"C. R. Ramakrishnan, I. V. Ramakrishnan, S. A. Smolka, Y. Dong, X. Du, A. Roychoudhury, and V. N. Venkatakrishnan. XMC: A logic-programming-based verification toolset. In CAV\u201900, 2000.","DOI":"10.1007\/10722167_48"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"A. Roychoudhury, C. R. Ramakrishnan, and I. V. Ramakrishnan. Justifying proofs using memo tables. In PPDP\u201900, pages 178\u2013189, 2000.","DOI":"10.1145\/351268.351290"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"C. Seger. Combining functionalp rogramming and hardware verification. In ICFP\u201900, 2000.","DOI":"10.1145\/351240.351263"},{"key":"23_CR14","unstructured":"The XMC group. XMC v1.0.2. http:\/\/www.cs.sunysb.edu\/~lmc , 2000."},{"key":"23_CR15","unstructured":"The XSB group. XSB v2.1. \/\/www.cs.sunysb.edu\/~sbprolog , 2000."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45241-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:08:19Z","timestamp":1556802499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45241-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417682","9783540452416"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45241-9_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}