![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
2nd TACAS 1996: Passau, Germany
- Tiziana Margaria
, Bernhard Steffen:
Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings. Lecture Notes in Computer Science 1055, Springer 1996, ISBN 3-540-61042-1
Invited Lectures
- Gerard J. Holzmann:
Early Fault Detection Tools. 1-13 - Dexter Kozen:
Kleene Algebra with Tests and Commutativity Conditions. 14-33 - Leslie Lamport:
Managing Proofs (Abstract). 34
Regular Session
- Rajeev Alur, Gerard J. Holzmann, Doron A. Peled:
An Analyser for Mesage Sequence Charts. 35-48 - Rudolf Berghammer, Burghard von Karger, Christiane Ulke:
Realtion-Algebraic Analysis of Petri Nets with RELVIEW. 49-69 - Craig Damon, Daniel Jackson:
Efficient Search as a Means of Executing Specifications. 70-86 - Javier Esparza
, Stefan Römer, Walter Vogler:
An Improvement of McMillan's Unfolding Algorithm. 87-106 - Girish Bhat, Rance Cleaveland:
Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus. 107-126 - Jan Tretmans:
Test Generation with Inputs, Outputs, and Quiescence. 127-146 - Gavin Lowe:
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. 147-166 - Riccardo Focardi
, Roberto Gorrieri:
Automatic Compositional Verification of Some Security Properties. 167-186 - François Michel, Pierre Azéma, François Vernadat:
Permutable Agents in Process Algebras. 187-206 - Nils Buhrke, Helmut Lescow, Jens Vöge:
Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions. 207-224 - Stefan Kowalewski, Jörg Preußig:
Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control. 225-240 - Ching-Tsun Chou, Doron A. Peled:
Formal Verification of a Partial-Order Reduction Technique for Model Checking. 241-257 - Tiziana Margaria
:
Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits. 258-277 - Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims:
Priorities for Modeling and Verifying Distributed Systems. 278-297 - Colin Stirling:
Games and Modal Mu-Calculus. 298-312 - Abdelwaheb Ayari, David A. Basin:
Generic System Support for Deductive Program Development. 313-328 - Stavros Tripakis
, Costas Courcoubetis:
Extending Promela and Spin for Real Time. 329-348 - Elie Najm, Frank Olsen:
Reactive EFSMs - Reactive Promela/RSPIN. 349-368 - Louise E. Moser, P. M. Melliar-Smith:
Probabilistic Duration Automata for Analyzing Real-Time Systems. 369-390
Tool Presentation
- Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
:
The Concurrency Factory Software Development Environment. 391-395 - Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone:
The FC2TOOLS Set (Tool Demonstration). 396 - Bernd Grahlmann, Eike Best:
PEP - More than a Petri Net Tool. 397-401 - Jorge Cuéllar, Dieter Barnard, Martin Huber:
Rapid Prototyping for an Assertional Specification language. 402-406 - Carsten Heyl, Arnulf Mester, Heiko Krumm:
cTc - A Tool Supporting the Construction of cTLA-Specifications. 407-411 - Hassen Saïdi:
A Tool for Proving Invariance Properties of Concurrent Systems Automatically. 412-416 - Antoine Rauzy:
Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract). 417 - Bernhard Steffen, Tiziana Margaria
, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß:
A Constraint-Oriented Service Creation Environment. 418-421 - Marion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen:
DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. 422-426 - Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach:
A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. 427-430 - Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson
, Wang Yi:
UPPAAL in 1995. 431-434
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.