C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Tool Support for System Specification, Development and Verification
1998
1999
1998
1999
Keyphrases
Publications
1999
Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998
Tool Support for System Specification, Development and Verification
(1999)
1998
Stephan Pfab
,
Harald Rueß
,
Sam Owre
,
Friedrich W. von Henke
Towards Light-Weight Verification and Heavy-Weight Testing.
Tool Support for System Specification, Development and Verification
(1998)
Rudolf Berghammer
,
Yassine Lakhnech
,
Wolfgang Reif
Formal Methods and Tools: Introduction and Overview.
Tool Support for System Specification, Development and Verification
(1998)
Malte Plath
,
Mark Ryan
SFI: a Feature Integration Tool.
Tool Support for System Specification, Development and Verification
(1998)
Leszek Holenderski
,
Axel Poigné
Synchronie Workbench.
Tool Support for System Specification, Development and Verification
(1998)
Zohar Manna
,
Nikolaj Bjørner
,
Anca Browne
,
Michael Colón
,
Bernd Finkbeiner
,
Mark C. Pichora
,
Henny B. Sipma
,
Tomás E. Uribe
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.
Tool Support for System Specification, Development and Verification
(1998)
Bettina Buth
PAMELA+PVS Verification of Sequential Programs.
Tool Support for System Specification, Development and Verification
(1998)
Georg Rock
,
Werner Stephan
,
Andreas Wolpers
Modular reasoning about structured TLA specifications.
Tool Support for System Specification, Development and Verification
(1998)
Peter Baumgartner
,
Dorothea Schäfer
Model Elimination with Simplification and its Application to Software Verification.
Tool Support for System Specification, Development and Verification
(1998)
Kay Fuhrmann
,
Jan Hiemer
Formal Verification of Statemate-Statecharts.
Tool Support for System Specification, Development and Verification
(1998)
Ralf Behnke
,
Rudolf Berghammer
,
Thorsten Hoffmann
,
Barbara Leoniuk
,
Peter Schneider
Applications of the Rel View System.
Tool Support for System Specification, Development and Verification
(1998)
Wolfgang Goerigk
,
Thilo Gaul
,
Wolf Zimmermann
Correct Programs without Proof? On Checker-Based Program Verification.
Tool Support for System Specification, Development and Verification
(1998)
Sergio Contini
,
Stefan Scheer
,
Marc Wilikens
,
G. de Cola
,
G. G. M. Cojazzi
ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies.
Tool Support for System Specification, Development and Verification
(1998)
Christoph Lüth
,
Einar W. Karlsen
,
Kolyang
,
Stefan Westmeier
,
Burkhart Wolff
Tool Integration in the UniForM-Workbench.
Tool Support for System Specification, Development and Verification
(1998)
Martin Lange
,
Martin Leucker
,
Thomas Noll
,
Stephan Tobies
Truth - A verification platform for concurrent systems.
Tool Support for System Specification, Development and Verification
(1998)
Wolfram Kahl
The Term Graph Programming System HOPS.
Tool Support for System Specification, Development and Verification
(1998)
Lydie du Bousquet
,
Farid Ouabdesselam
,
Ioannis Parissis
,
Jean-Luc Richier
,
Nicolas Zuanon
Lutess: a testing environment for synchronous software.
Tool Support for System Specification, Development and Verification
(1998)