 |
Technischen Berichte der Fakultät für Informatik der Technischen Universität München |
 |
 |
|
| Suche: Keywords=Model Checking |
|
-
Analysis Techniques: State of the Art in Industry and Research
Alarico Campetelli
Technical Report, 2010, 38 Pages -
Don't know in Probabilistic Systems
Martin Leucker, Verena Wolf Harald Fecher
Technical Report, 2005, 16 Pages -
Towards Service-Based Systems Engineering: Formalizing and mu-Checking Service Descriptions
Bernhard Schaetz
Technical Report, 2002, 21 Pages -
Integrated Development of Embedded Systems with AutoFocus
Franz Huber, Bernhard Schaetz
Technical Report, 2001 -
Efficient Algorithm for Model Checking Pushdown Systems
Javier Esparza, David Hansel, Peter Rossmanith, Stefan Schwoon
Technical Report, 2000, 40 Pages -
A Verification Environment for I/O Automata -- Part II: Theorem Proving and Model Checking --
Olaf Mueller
Technical Report, 1999, 27 Pages -
Deciding Bisimulation-Like Equivalences with Finite-State Processes
Petr Jancar, Antonin Kucera, Richard Mayr
Technical Report, 1998, 24 Pages -
A Verification Environment for I/O Automata Based on Formalized Meta-Theory
Olaf Mueller
Technical Report, 1998, 285 Pages -
Proceedings of INFINITY '98
Javier Esparza (ed.)
Technical Report, 1998, 78 Pages -
Traffic Flow by Data Flow
Jan Philipps, Alexander Schmidt
Technical Report, 1997, 39 Pages -
Proceedings of the 5th International Workshop on Verification In New Orientations
Maximilian Frey
Technical Report, 1997, 83 Pages -
Model Checking LTL Using Net Unfoldings
Frank Wallner
Technical Report, 1997, 14 Pages -
Verification of Fault Tolerant Algorithms Using PEP
Stephan Merkel
Technical Report, 1997, 34 Pages -
Some Results on Basic Parallel Processes
Richard Mayr
Technical Report, 1996, 30 Pages -
A Tableau System for Model Checking Petri Nets with a Fragment of the Linear Time \mu-Calculus
Richard Mayr
Technical Report, 1996, 26 Pages -
Model Checking PA-Processes
Richard Mayr
Technical Report, 1996, 27 Pages -
Put your Model Checker on Diet: Verification on Local States
Michaela Huhn, Peter Niebert, Frank Wallner
Technical Report, 1996, 16 Pages
|
|
|