{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:33Z","timestamp":1725664293426},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591559"},{"type":"electronic","value":"9783540492009"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59155-9_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:04:00Z","timestamp":1330257840000},"page":"193-208","source":"Crossref","is-referenced-by-count":2,"title":["Toupie: A constraint language for model checking"],"prefix":"10.1007","author":[{"given":"Antoine","family":"Rauzy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"11_CR1","unstructured":"A. Arnold and D. Niwi\u0144ski. Fixed point characterization of weak monadic second order logic definable sets of trees. In M. Nivat and A. Podelski, editors, Tree Automata and Languages. Elsevier Science Publishers, 1992."},{"key":"11_CR2","unstructured":"[BCM+90] J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic Model Checking: 1020 States and Beyond. IEEE transactions on computers, 1990."},{"key":"11_CR3","unstructured":"A. Bouali. Etudes et mises en \u0153uvre d'outils de v\u00e9rification bas\u00e9e sur la bisimulation. PhD thesis, Universit\u00e9 Paris VII, 03 1993. in french."},{"key":"11_CR4","volume-title":"Synchronization of Constrained Transition Systems","author":"S. Brlek","year":"1994","unstructured":"S. Brlek and A. Rauzy. Synchronization of Constrained Transition Systems. In Proceedings of the First International Symposium on Parallel Symbolic Computation (PASCO'94), Linz, Ostreich, 1994. World Scientific Publishing."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"K. Brace, R. Rudell, and R. Bryant. Efficient Implementation of a BDD Package. In Proceedings of the 27th ACM\/IEEE Design Automation Conference. IEEE 0738, 1990.","DOI":"10.1145\/123186.123222"},{"key":"11_CR6","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R. Bryant","year":"1986","unstructured":"R. Bryant. Graph Based Algorithms for Boolean Fonction Manipulation. IEEE Transactions on Computers, 35:677\u2013691, 8 1986.","journal-title":"IEEE Transactions on Computers"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"O. Coudert, C. Berthet, and J-C. Madre. Verification of Synchronous Sequential Machines Based on Symbolic Execution. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, volume 407. LNCS, 1989.","DOI":"10.1007\/3-540-52148-8_30"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"M-M. Corsini, B. Le Charlier, K. Musumbu, and A. Rauzy. Efficient Abstract Interpretation of Prolog Programs by means of Constraint Solving over Finite Domains (extended abstract). In Proceedings of the 5th Int. Symposium on Programming Language Implementation and Logic Programming, PLILP'93, Estonie, 1993.","DOI":"10.1007\/3-540-57186-8_72"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"M-M. Corsini, A. Griffault, and A. Rauzy. Yet another Application for Toupie: Verification of Mutual Exclusion Algorithms. In proceedings of Logic Programming and Automated Reasonning, LPAR'93, volume 698. LNAI, 1993.","DOI":"10.1007\/3-540-56944-8_44"},{"key":"11_CR10","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF02242704","volume":"6","author":"R. Enders","year":"1993","unstructured":"R. Enders, T. Filkorn, and D. Taubner. Generating BDDs for Symbolic Model Checking in CCS. Journal of Distributed Computing, 6:155\u2013164, 6 1993.","journal-title":"Journal of Distributed Computing"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Delay Analysis in Synchronous Programs. In in Proceedings of the 5th international conference on Computer Aided Verification CAV'93, volume 697 of LNCS. Springer Verlag, June 1993.","DOI":"10.1007\/3-540-56922-7_28"},{"key":"11_CR12","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming. Logic Programming Series. MIT Press, 1989."},{"key":"11_CR13","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Henessy","year":"1985","unstructured":"M. Henessy and R. Milner. Algebraic laws for non-determinism and concurrency. J. Assoc. Comput. Mach., 32:137\u2013161, 1985.","journal-title":"J. Assoc. Comput. Mach."},{"key":"11_CR14","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, New York, 1989."},{"key":"11_CR15","unstructured":"D. Park. Fixpoint Induction and Proofs of Program Properties. Machine Intelligence, 5, 1970."},{"key":"11_CR16","unstructured":"A. Rauzy. Aulne Version 0.2: User's Guide. Technical Report ??, LaBRI-URA CNRS 1304-Universit\u00e9 Bordeaux I, 1994."},{"key":"11_CR17","unstructured":"A. Rauzy. Toupie Version 0.25: User's Manual. Technical Report 959\u201394, LaBRI-URA CNRS 1304-Universit\u00e9 Bordeaux I, 1994."}],"container-title":["Lecture Notes in Computer Science","Constraint Programming: Basics and Trends"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59155-9_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:25:39Z","timestamp":1605630339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59155-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591559","9783540492009"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-59155-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}