Tool Support for System Specification, Development and Verification
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Vienna

9783211832820, 9783709163559
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems

1999 ◽  
pp. 174-188 ◽  
Author(s):  
Zohar Manna ◽  
Nikolaj S. Bjørner ◽  
Anca Browne ◽  
Michael Colón ◽  
Bernd Finkbeiner ◽  
...  
Keyword(s):  
Reactive Systems

Lutess: a testing environment for synchronous software

1999 ◽  
pp. 48-61 ◽  
Author(s):  
L. du Bousquet ◽  
F. Ouabdesselam ◽  
I. Parissis ◽  
J.-L. Richier ◽  
N. Zuanon
Keyword(s):  
Testing Environment

Applications of the Rel View System

1999 ◽  
pp. 33-47 ◽  
Author(s):  
R. Behnke ◽  
R. Berghammer ◽  
T. Hoffmann ◽  
B. Leoniuk ◽  
P. Schneider

Truth — A verification platform for concurrent systems

1999 ◽  
pp. 150-159 ◽  
Author(s):  
Martin Lange ◽  
Martin Leucker ◽  
Thomas Noll ◽  
Stephan Tobies
Keyword(s):  
Concurrent Systems

ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies

1999 ◽  
pp. 77-91 ◽  
Author(s):  
S. Contini ◽  
S. Scheer ◽  
M. Wilikens ◽  
G. de Cola ◽  
G. Cojazzi
Keyword(s):  
Complex Systems ◽  
Tool Set
Load More ...
Sign in / Sign up

Export Citation Format

Share Document