Systems and Software Verification
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642074783, 9783662045589
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Timed Automata

2001 ◽  
pp. 59-72
Author(s):  
Béatrice Bérard ◽  
Michel Bidoit ◽  
Alain Finkel ◽  
François Laroussinie ◽  
Antoine Petit ◽  
...  
Keyword(s):  
Timed Automata

KRONOS — Model Checking of Real-time Systems

2001 ◽  
pp. 161-168
Author(s):  
Béatrice Bérard ◽  
Michel Bidoit ◽  
Alain Finkel ◽  
François Laroussinie ◽  
Antoine Petit ◽  
...  
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Real Time Systems ◽  
Time Systems

Automata

2001 ◽  
pp. 5-26
Author(s):  
Béatrice Bérard ◽  
Michel Bidoit ◽  
Alain Finkel ◽  
François Laroussinie ◽  
Antoine Petit ◽  
...  

Model Checking

2001 ◽  
pp. 39-46 ◽  
Author(s):  
Béatrice Bérard ◽  
Michel Bidoit ◽  
Alain Finkel ◽  
François Laroussinie ◽  
Antoine Petit ◽  
...  
Keyword(s):  
Model Checking

Deadlock-freeness

2001 ◽  
pp. 99-101
Author(s):  
Béatrice Bérard ◽  
Michel Bidoit ◽  
Alain Finkel ◽  
François Laroussinie ◽  
Antoine Petit ◽  
...  

Symbolic Model Checking

2001 ◽  
pp. 47-58
Author(s):  
Béatrice Bérard ◽  
Michel Bidoit ◽  
Alain Finkel ◽  
François Laroussinie ◽  
Antoine Petit ◽  
...  
Keyword(s):  
Model Checking ◽  
Symbolic Model Checking ◽  
Symbolic Model

Liveness Properties

2001 ◽  
pp. 91-98
Author(s):  
Béatrice Bérard ◽  
Michel Bidoit ◽  
Alain Finkel ◽  
François Laroussinie ◽  
Antoine Petit ◽  
...  
Keyword(s):  
Liveness Properties

Reachability Properties

2001 ◽  
pp. 79-81
Author(s):  
Béatrice Bérard ◽  
Michel Bidoit ◽  
Alain Finkel ◽  
François Laroussinie ◽  
Antoine Petit ◽  
...  

Temporal Logic

2001 ◽  
pp. 27-38
Author(s):  
Béatrice Bérard ◽  
Michel Bidoit ◽  
Alain Finkel ◽  
François Laroussinie ◽  
Antoine Petit ◽  
...  
Keyword(s):  
Temporal Logic

HYTECH — Linear Hybrid Systems

2001 ◽  
pp. 169-177 ◽  
Author(s):  
Béatrice Bérard ◽  
Michel Bidoit ◽  
Alain Finkel ◽  
François Laroussinie ◽  
Antoine Petit ◽  
...  
Keyword(s):  
Hybrid Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document