Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

48
(FIVE YEARS 0)

H-INDEX

22
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540423454, 9783540445852
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

TReX: A Tool for Reachability Analysis of Complex Systems

2001 ◽  
pp. 368-372 ◽  
Author(s):  
Aurore Annichini ◽  
Ahmed Bouajjani ◽  
Mihaela Sighireanu
Keyword(s):  
Complex Systems ◽  
Reachability Analysis

Analysis of Recursive State Machines

2001 ◽  
pp. 207-220 ◽  
Author(s):  
Rajeev Alur ◽  
Kousha Etessami ◽  
Mihalis Yannakakis
Keyword(s):  
State Machines

scholarly journals TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems?

2001 ◽  
pp. 391-395 ◽  
Author(s):  
Etienne Closse ◽  
Michel Poize ◽  
Jacques Pulou ◽  
Joseph Sifakis ◽  
Patrick Venter ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Real Time
Load More ...
Sign in / Sign up

Export Citation Format

Share Document