


default search action
1st TACAS 1995: Aarhus, Denmark
- Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen:
Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings. Lecture Notes in Computer Science 1019, Springer 1995, ISBN 3-540-60630-0 - Olaf Müller, Tobias Nipkow:
Combining Model Checking and Deduction for I/O-Automata. 1-16 - Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
A Constraint Oriented Proof Methodology Based on Modal Transition Systems. 17-40 - Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
A User Guide to HyTech. 41-71 - Angelika Mader
:
Modal µ-Calculus, Model Checking and Gauß Elimination. 72-88 - Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm:
Mona: Monadic Second-Order Logic in Practice. 89-110 - Uffe Engberg, Kim S. Larsen:
Efficient Simplification of Bisimulation Formulas. 111-132 - A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood:
Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock. 133-152 - Rance Cleaveland, Eric Madelaine
, Steve Sims:
A Front-End Generator for Verification Tools. 153-173 - Chris M. N. Tofts:
Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes. 174-194 - Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi:
Model Checking of Non-Finite State Processes by Finite Approximations. 195-215 - Jürgen Bohn, Stephan Rössig:
On Automatic and Interactive Design of Communication Systems. 216-237 - Wil Janssen:
Layers as Knowledge Transitions in the Design of Distributed Systems. 238-263 - Jens Knoop, Bernhard Steffen, Jürgen Vollmer:
Parallelism for Free: Bitvector Analyses -> No State Explosion! 264-289

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.