Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540304920, 9783540322405
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

State/Event Software Verification for Branching-Time Specifications

2005 ◽  
pp. 53-69 ◽  
Author(s):  
Sagar Chaki ◽  
Edmund Clarke ◽  
Orna Grumberg ◽  
Joël Ouaknine ◽  
Natasha Sharygina ◽  
...  
Keyword(s):  
Software Verification ◽  
Branching Time

Generating Path Conditions for Timed Systems

2005 ◽  
pp. 5-19 ◽  
Author(s):  
Saddek Bensalem ◽  
Doron Peled ◽  
Hongyang Qu ◽  
Stavros Tripakis
Keyword(s):  
Timed Systems

Synthesizing B Specifications from eb 3 Attribute Definitions

2005 ◽  
pp. 207-226 ◽  
Author(s):  
Frédéric Gervais ◽  
Marc Frappier ◽  
Régine Laleau

Agile Formal Method Engineering

2005 ◽  
pp. 109-128 ◽  
Author(s):  
Richard F. Paige ◽  
Phillip J. Brooke
Keyword(s):  
Formal Method ◽  
Method Engineering

scholarly journals Consistency in UML and B Multi-view Specifications

2005 ◽  
pp. 386-405 ◽  
Author(s):  
Dieu Donné Okalas Ossami ◽  
Jean-Pierre Jacquot ◽  
Jeanine Souquières
Load More ...
Sign in / Sign up

Export Citation Format

Share Document