{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T23:43:59Z","timestamp":1770335039528,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540643562","type":"print"},{"value":"9783540697534","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054165","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T01:43:43Z","timestamp":1153964623000},"page":"68-84","source":"Crossref","is-referenced-by-count":82,"title":["OPEN\/C\u00c6SAR: An open software architecture for verification, simulation, and testing"],"prefix":"10.1007","author":[{"given":"Hubert","family":"Garavel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,25]]},"reference":[{"issue":"7","key":"6_CR1","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1016\/0169-7552(93)90048-9","volume":"25","author":"B. Algayres","year":"1993","unstructured":"B. Algayres, V. Coelho, L. Doldi, H. Garavel, Y. Lejeune, and C. Rodriguez. VESAR: A Pragmatic Approach to Formal Specification and Verification. Computer Networks and ISDN Systems, 25(7):779\u2013790, February 1993.","journal-title":"Computer Networks and ISDN Systems"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"B. Algayres, Y. Lejeune, and F. Hugonnet. GOAL: Observing SDL behaviors with GEODE. In Proc. 7th SDL Forum (Oslo, Norway), September 1995.","DOI":"10.1016\/B978-0-444-82269-7.50023-X"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"A. Bouali, A. Ressouche, V. Roy, and R. de Simone. The Fc2Tools set: a Toolset for the Verification of Concurrent Systems. In Proc. CAV '96, LNCS 1102, 1996.","DOI":"10.1007\/3-540-61474-5_98"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"G. Chehaibar, H. Garavel, L. Mounier, N. Tawbi, and F. Zulian. Specification and Verification of the PowerScale Bus Arbitration Protocol: An Industrial Experiment with LOTOS. In Proc. FORTE\/PSTV'96. Chapman & Hall, 1996. Full version available as INRIA Research Report RR-2958.","DOI":"10.1007\/978-0-387-35079-0_28"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"R. Cleaveland, E. Madelaine, and S. Sims. A Front-End Generator for Verification Tools. In Proc. TACAS'95 Tools and Algorithms for the Construction and Analysis of Systems (Aarhus, Denmark), May 1995. Also available as INRIA Research Report RR-2612.","DOI":"10.1007\/3-540-60630-0_8"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"B. Cousin and J. Helary. Performance Improvement of State Space Exploration by Regular and Differential Hashing Functions. In Proc. CAV'94, LNCS 818, 1994.","DOI":"10.1007\/3-540-58179-0_68"},{"issue":"1\u20132","key":"6_CR7","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0167-6423(96)00032-9","volume":"29","author":"J. Fernandez","year":"1997","unstructured":"J-Cl. Fernandez, Cl. Jard, Th. J\u00e9ron, L. Nedelka, and C. Viho. An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Science of Computer Programming, 29(1\u20132):123\u2013146, July 1997.","journal-title":"Science of Computer Programming"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"J-Cl. Fernandez and L. Mounier. \u201cOn the Fly\u201d Verification of Behavioural Equivalences and Preorders. In Proc. CAV'91, July 1991.","DOI":"10.1007\/3-540-55179-4_18"},{"key":"6_CR9","unstructured":"J-Cl. Fernandez and L. Mounier. A Local Checking Algorithm for Boolean Equation Systems. Rapport SPECTRE 95-07, VERIMAG, Grenoble, March 1995."},{"key":"6_CR10","unstructured":"H. Garavel. An Overview of the Eucalyptus Toolbox. In Proc. COST 247 Int. Workshop on Applied Formal Methods in System Design (Maribor, Slovenia), 1996."},{"issue":"1\u20132","key":"6_CR11","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0167-6423(96)00034-2","volume":"29","author":"H. Garavel","year":"1997","unstructured":"H. Garavel and L. Mounier. Specification and Verification of various Distributed Leader Election Algorithms for Unidirectional Ring Networks. Science of Computer Programming, 29(1\u20132):171\u2013197, July 1997.","journal-title":"Science of Computer Programming"},{"key":"6_CR12","unstructured":"H. Garavel and J. Sifakis. Compilation and Verification of LOTOS Specifications. In Proc. PSTV '90 (Ottawa, Canada). North-Holland, 1990."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"S. Graf, J-L. Richier, C. Rodr\u00edguez, and J. Voiron. What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? In Proc. 1st Workshop on Automatic Verification Methods for Finite State Systems, LNCS 407, 1989.","DOI":"10.1007\/3-540-52148-8_23"},{"key":"6_CR14","unstructured":"G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991."},{"key":"6_CR15","volume-title":"State Compression in SPIN: Recursive Indexing and Compression Training Runs","author":"G. J. Holzmann","year":"1997","unstructured":"G. J. Holzmann. State Compression in SPIN: Recursive Indexing and Compression Training Runs. In Proc. 3rd SPIN Workshop (Twente Univ., The Netherlands), 1997."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Cl. Jard and Th. J\u00e9ron. Bounded-Memory Algorithms for Verification On-the-Fly. In Proc. CAV '91, LNCS 575, July 1991.","DOI":"10.1007\/3-540-55179-4_19"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"A. Kerbrat, C. Rodriguez, and Y. Lejeune. Interconnecting the ObjectGEODE and C\u00c6SAR\/ALDEBARAN Toolsets. In Proc. 8th SDL Forum, 1997.","DOI":"10.1016\/B978-044482816-3\/50032-0"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"J-P. Krimm and L. Mounier. Compositional State Space Generation from Lotos Programs. In Proc. TACAS'97, LNCS 1217, 1997.","DOI":"10.1007\/BFb0035392"},{"key":"6_CR19","unstructured":"R. Mateescu. Formal Description and Analysis of a Bounded Retransmission Protocol. In Proc. COST 247 Int. Workshop on Applied Formal Methods in System Design (Maribor, Slovenia), 1996. Also available as INRIA Research Report RR-2965."},{"issue":"6","key":"6_CR20","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R. Paige","year":"1987","unstructured":"R. Paige and R. E. Tarjan. Three Partition Refinement Algorithms. SIAM Journal of Computing, 16(6):973\u2013989, December 1987.","journal-title":"SIAM Journal of Computing"},{"key":"6_CR21","unstructured":"Ch. Pecheur. Specification and Verification of the CO4 Distributed Knowledge System Using LOTOS. In Proc. 12th IEEE Int. Conf. on Automated Software Engineering ASE-97, 1997. Extended version available as INRIA Research Report RR-3259."},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"M. Sighireanu and R. Mateescu. Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus (\u201cFireWire\u201d): an Experiment with E-LOTOS. In Proc. 2nd COST 247 Int. Workshop on Applied Formal Methods in System Design (Zagreb, Croatia), 1997. Full version available as INRIA Research Report RR-3172.","DOI":"10.1007\/s100090050018"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"T. B. Steel. A First Version of UNCOL. In Proc. Western Joint Computer Conf., pages 371\u2013378, May 1961.","DOI":"10.1145\/1460690.1460733"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054165","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T02:53:51Z","timestamp":1683514431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054165"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643562","9783540697534"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0054165","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}