TACAS 1995

13 papers

1. A Constraint Oriented Proof Methodology Based on Modal Transition Systems · Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
2. A Front-End Generator for Verification Tools · Rance Cleaveland, Eric Madelaine, Steve Sims
3. A User Guide to HyTech · Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
4. Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes · Chris M. N. Tofts
5. Combining Model Checking and Deduction for I/O-Automata · Olaf Müller, Tobias Nipkow
6. Efficient Simplification of Bisimulation Formulas · Uffe Engberg, Kim S. Larsen
7. Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock · A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood
8. Layers as Knowledge Transitions in the Design of Distributed Systems · Wil Janssen
9. Modal µ-Calculus, Model Checking and Gauß Elimination · Angelika Mader
10. Model Checking of Non-Finite State Processes by Finite Approximations · Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi
11. Mona: Monadic Second-Order Logic in Practice · Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe + 1 more
12. On Automatic and Interactive Design of Communication Systems · Jürgen Bohn, Stephan Rössig
13. Parallelism for Free: Bitvector Analyses -> No State Explosion! · Jens Knoop, Bernhard Steffen, Jürgen Vollmer