Lecture Notes in Computer Science - Formal Methods: Foundations and Applications
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642198281, 9783642198298
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Statistical Verification of Probabilistic Properties with Unbounded Until

2011 ◽  
pp. 144-160 ◽  
Author(s):  
Håkan L. S. Younes ◽  
Edmund M. Clarke ◽  
Paolo Zuliani
Keyword(s):  
Statistical Verification

Midlet Navigation Graphs in JML

2011 ◽  
pp. 17-32 ◽  
Author(s):  
Wojciech Mostowski ◽  
Erik Poll

Automating Refinement of Circus Programs

2011 ◽  
pp. 274-290 ◽  
Author(s):  
Frank Zeyda ◽  
Ana Cavalcanti

Normalization of Linear Horn Clauses

2011 ◽  
pp. 242-257
Author(s):  
Thomas Martin Gawlitza ◽  
Helmut Seidl ◽  
Kumar Neeraj Verma
Keyword(s):  
Horn Clauses

scholarly journals A High-Level Language for Modeling Algorithms and Their Properties

2011 ◽  
pp. 49-63 ◽  
Author(s):  
Sabina Akhtar ◽  
Stephan Merz ◽  
Martin Quinson
Keyword(s):  
High Level Language ◽  
High Level

A Modal Interface Theory with Data Constraints

2011 ◽  
pp. 80-95 ◽  
Author(s):  
Sebastian S. Bauer ◽  
Rolf Hennicker ◽  
Michel Bidoit
Keyword(s):  
Interface Theory ◽  
Data Constraints

A Formal Environment Model for Multi-Agent Systems

2011 ◽  
pp. 64-79 ◽  
Author(s):  
Paulo Salem da Silva ◽  
Ana C. V. de Melo
Keyword(s):  
Multi Agent Systems ◽  
Agent Systems ◽  
Environment Model ◽  
Multi Agent

scholarly journals A Decision Procedure for Bisimilarity of Generalized Regular Expressions

2011 ◽  
pp. 226-241 ◽  
Author(s):  
Marcello Bonsangue ◽  
Georgiana Caltais ◽  
Eugen-Ioan Goriac ◽  
Dorel Lucanu ◽  
Jan Rutten ◽  
...  
Keyword(s):  
Decision Procedure ◽  
Regular Expressions

scholarly journals Runtime Verification for Generic Classes with ConGu 2

2011 ◽  
pp. 33-48 ◽  
Author(s):  
Pedro Crispim ◽  
Antónia Lopes ◽  
Vasco T. Vasconcelos
Keyword(s):  
Runtime Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document