Tiziana Margaria , Wang Yi (Eds.):
Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings.
Lecture Notes in Computer Science 2031 Springer 2001, ISBN 3-540-41865-2 Invited Contributions
export record as
dblp key:
export record as
dblp key:
Symbolic Verification
export record as
dblp key:
Bernd Finkbeiner :
Language Containment Checking with Nondeterministic BDDs.
24-38
export record as
dblp key:
export record as
dblp key:
conf/tacas/Yavuz-KahveciTB01
Infinite State Systems:
Deduction and Abstraction
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Application of Model Checking Techniques
export record as
dblp key:
conf/tacas/SebastianiTG01 export record as
dblp key:
export record as
dblp key:
Timed and Probabilistic Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Hardware:
Design and Verification
export record as
dblp key:
export record as
dblp key:
Miroslav N. Velev :
Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors.
252-267
Software Verification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Symbolic Verification
export record as
dblp key:
export record as
dblp key:
Testing:
Techniques and Tools
export record as
dblp key:
export record as
dblp key:
Sarfraz Khurshid :
Testing an Intentional Naming Scheme Using Genetic Algorithms.
358-372
export record as
dblp key:
export record as
dblp key:
Implementation Techniques
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/tacas/Carvajal-SchiaffinoDC01 export record as
dblp key:
conf/tacas/ChristensenKM01
Semantics and Compositional Verification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Logics and Model-Checking
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
ETAPS Tool Demonstration
export record as
dblp key:
conf/tacas/Beaudouin-LafonMJAJLLMMRRCJ01 Michel Beaudouin-Lafon ,
Wendy E. Mackay ,
Mads Jensen ,
Peter Andersen ,
Paul Janecek ,
Henry Michael Lassen ,
Kasper Lund ,
Kjeld Høyer Mortensen ,
Stephanie Munck ,
Anne V. Ratzer ,
Katrine Ravn ,
Søren Christensen ,
Kurt Jensen :
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS.
574-577
export record as
dblp key:
Giuseppe Del Castillo :
The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration.
578-581
export record as
dblp key:
data released under the ODC-BY 1.0 license
