Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

43
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642245589, 9783642245596
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Differencing Labeled Transition Systems

2011 ◽  
pp. 537-552 ◽  
Author(s):  
Zhenchang Xing ◽  
Jun Sun ◽  
Yang Liu ◽  
Jin Song Dong
Keyword(s):  
Transition Systems

Formal Derivation of a Distributed Program in Event B

2011 ◽  
pp. 420-436 ◽  
Author(s):  
Alexei Iliasov ◽  
Linas Laibinis ◽  
Elena Troubitsyna ◽  
Alexander Romanovsky
Keyword(s):  
Formal Derivation

Distributed Theorem Proving for Distributed Hybrid Systems

2011 ◽  
pp. 356-371 ◽  
Author(s):  
David W. Renshaw ◽  
Sarah M. Loos ◽  
André Platzer
Keyword(s):  
Hybrid Systems ◽  
Theorem Proving

Symbolic Execution of Alloy Models

2011 ◽  
pp. 340-355
Author(s):  
Junaid Haroon Siddiqui ◽  
Sarfraz Khurshid
Keyword(s):  
Symbolic Execution

scholarly journals Refining Nodes and Edges of State Machines

2011 ◽  
pp. 569-584
Author(s):  
Stefan Hallerstede ◽  
Colin Snook
Keyword(s):  
State Machines

scholarly journals Synchronous AADL and Its Formal Analysis in Real-Time Maude

2011 ◽  
pp. 651-667 ◽  
Author(s):  
Kyungmin Bae ◽  
Peter Csaba Ölveczky ◽  
Abdullah Al-Nayeem ◽  
José Meseguer
Keyword(s):  
Real Time ◽  
Formal Analysis

scholarly journals Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP

2011 ◽  
pp. 33-48 ◽  
Author(s):  
Islam Abdelhalim ◽  
Steve Schneider ◽  
Helen Treharne
Keyword(s):  
Practical Approach
Load More ...
Sign in / Sign up

Export Citation Format

Share Document