Abstract is missing.
- Early Fault Detection ToolsGerard J. Holzmann. 1-13
- Kleene Algebra withTests and Commutativity ConditionsDexter Kozen. 14-33
- Managing Proofs (Abstract)Leslie Lamport. 34
- An Analyser for Mesage Sequence ChartsRajeev Alur, Gerard J. Holzmann, Doron Peled. 35-48
- Realtion-Algebraic Analysis of Petri Nets with RELVIEWRudolf Berghammer, Burghard von Karger, Christiane Ulke. 49-69
- Efficient Search as a Means of Executing SpecificationsCraig Damon, Daniel Jackson. 70-86
- An Improvement of McMillan s Unfolding AlgorithmJavier Esparza, Stefan Römer, Walter Vogler. 87-106
- Efficent Local Model-Checking for Fragments of teh Modal µ-CalculusGirish Bhat, Rance Cleaveland. 107-126
- Test Generation with Inputs, Outputs, and QuiescenceJan Tretmans. 127-146
- Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDRGavin Lowe. 147-166
- Automatic Compositional Verification of Some Security PropertiesRiccardo Focardi, Roberto Gorrieri. 167-186
- Permutable Agents in Process AlgebrasFrançois Michel, Pierre Azéma, François Vernadat. 187-206
- Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning ConditionsNils Buhrke, Helmut Lescow, Jens Vöge. 207-224
- Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete ControlStefan Kowalewski, Jörg Preußig. 225-240
- Formal Verification of a Partial-Order Reduction Technique for Model CheckingChing-Tsun Chou, Doron Peled. 241-257
- Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential CircuitsTiziana Margaria. 258-277
- Priorities for Modeling and Verifying Distributed SystemsRance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims. 278-297
- Games and Modal Mu-CalculusColin Stirling. 298-312
- Generic System Support for Deductive Program DevelopmentAbdelwaheb Ayari, David A. Basin. 313-328
- Extending Promela and Spin for Real TimeStavros Tripakis, Costas Courcoubetis. 329-348
- Reactive EFSMs - Reactive Promela/RSPINElie Najm, Frank Olsen. 349-368
- Probabilistic Duration Automata for Analyzing Real-Time SystemsLouise E. Moser, P. M. Melliar-Smith. 369-390
- The Concurrency Factory Software Development EnvironmentRance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky. 391-395
- The FC2TOOLS Set (Tool Demonstration)Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone. 396
- PEP - More than a Petri Net ToolBernd Grahlmann, Eike Best. 397-401
- Rapid Prototyping for an Assertional Specification languageJorge Cuéllar, Dieter Barnard, Martin Huber. 402-406
- cTc - A Tool Supporting the Construction of cTLA-SpecificationsCarsten Heyl, Arnulf Mester, Heiko Krumm. 407-411
- A Tool for Proving Invariance Properties of Concurrent Systems AutomaticallyHassen Saïdi. 412-416
- Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract)Antoine Rauzy. 417
- A Constraint-Oriented Service Creation EnvironmentBernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß. 418-421
- DFA&OPT-METAFrame: A Tool Kit for Program Analysis and OptimazationMarion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen. 422-426
- A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPPHolger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach. 427-430
- UPPAAL in 1995Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi. 431-434