Abstract is missing.
- Hardware and Software Synthesis, Optimization, and Verification from Esterel ProgramsGérard Berry. 1-3
- Manipulation Algorithms for K*BMDsRolf Drechsler, Bernd Becker, Stefan Ruppertz. 4-18
- Combining Partial Order and Symmetry ReductionsE. Allen Emerson, Somesh Jha, Doron Peled. 19-34
- Partial Model Checking with ROBDDsHenrik Reif Andersen, Jørgen Staunstrup, Niels Maretti. 35-49
- Space Efficient Reachability Analysis Through Use of Pseudo-Root StatesAtanas N. Parashkevov, Jay Yantchev. 50-64
- The Reference Component of PEPBernd Grahlmann. 65-80
- A Tool to Support Formal Reasoning about Computer LanguagesRichard J. Boulton. 81-95
- The Term Processor Generator ::::Kimwitu::::Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas. 96-111
- Graphs in METAFrame: The Unifying Power of PolymorphismMichael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen. 112-129
- A Tableau System for Linear-TIME Temporal LogicPeter H. Schmitt, Jean Goubault-Larrecq. 130-144
- Model-Checking for a Subclass of Event StructuresWojciech Penczek. 145-164
- Real-Time Logics: Fictitious Clock as an Abstraction of Dense TimeJean-François Raskin, Pierre Yves Schobbens. 165-182
- MOSEL: A FLexible Toolset for Monadic Second-Order LogicPeter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger. 183-202
- A Brief Introduction to Coloured Petri NetsKurt Jensen. 203-208
- Design/CPN - A Computer Tool for Coloured Petri NetsSøren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen. 209-223
- Formal Verification of Statecharts with Instantaneous Chain ReactionJan Philipps, Peter Scholz. 224-238
- Compositional State Space Generation from Lotos ProgramsJean-Pierre Krimm, Laurent Mounier. 239-258
- Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence ChartsHanêne Ben-Abdallah, Stefan Leue. 259-274
- An Automated Based Verification Environment for Mobile ProcessesGian Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori. 275-289
- Compositional Performance AnalysisChris M. N. Tofts. 290-305
- Incremental Development of Deadlock-Free Communicating SystemsStephan Kleuker. 306-320
- Automatic Synthesis of Specifications from the Dynamic Observation of Reactive ProgramsBernard Boigelot, Patrice Godefroid. 321-333
- Visual Verification of Reactive SystemsLuca de Alfaro, Zohar Manna. 334-350
- Theorem Prover Support for the Refinement of Stream Processing FunctionsRobert Sandner, Olaf Müller. 351-365
- Integration in PVS: Tables, Types, and Model CheckingSam Owre, John M. Rushby, Natarajan Shankar. 366-383
- Test Generation for Intelligent Networks Using Model CheckingAndré Engels, Loe M. G. Feijs, Sjouke Mauw. 384-398
- Mechanically Verified Self-Stabilizing Hierarchical AlgorithmsI. S. W. B. Prasetya. 399-415
- The Bounded Retransmission Protocol Must Be on Time!Pedro R. D Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans. 416-431