1. TACAS 1995: Aarhus, Denmark

Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen (Eds.): 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. B. Scattergood:
Hierarchical Compression for Model-Checking CSP or How to Check 10²⁰ 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

Last update Thu May 23 18:02:35 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page