Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642307287, 9783642307294
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Mechanized Extraction of Topology Anti-patterns in Wireless Networks

2012 ◽  
pp. 158-173 ◽  
Author(s):  
Matthias Woehrle ◽  
Rena Bakhshi ◽  
Mohammad Reza Mousavi
Keyword(s):  
Wireless Networks

Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples

2012 ◽  
pp. 128-142 ◽  
Author(s):  
Herbert Rocha ◽  
Raimundo Barreto ◽  
Lucas Cordeiro ◽  
Arilo Dias Neto
Keyword(s):  
Model Checking ◽  
Bounded Model Checking

scholarly journals Specifying UML Protocol State Machines in Alloy

2012 ◽  
pp. 312-326 ◽  
Author(s):  
Ana Garis ◽  
Ana C. R. Paiva ◽  
Alcino Cunha ◽  
Daniel Riesco
Keyword(s):  
State Machines

A Formal Interactive Verification Environment for the Plan Execution Interchange Language

2012 ◽  
pp. 343-357 ◽  
Author(s):  
Camilo Rocha ◽  
Héctor Cadavid ◽  
César Muñoz ◽  
Radu Siminiceanu
Keyword(s):  
Plan Execution

scholarly journals A UTP Semantics of pGCL as a Homogeneous Relation

2012 ◽  
pp. 191-205 ◽  
Author(s):  
Riccardo Bresciani ◽  
Andrew Butterfield
Keyword(s):  
Homogeneous Relation

scholarly journals A Proof Framework for Concurrent Programs

2012 ◽  
pp. 174-190
Author(s):  
Leonard Lensink ◽  
Sjaak Smetsers ◽  
Marko van Eekelen
Keyword(s):  
Concurrent Programs

Patterns for a Log-Based Strengthening of Declarative Compliance Models

2012 ◽  
pp. 327-342 ◽  
Author(s):  
Dennis M. M. Schunselaar ◽  
Fabrizio M. Maggi ◽  
Natalia Sidorova
Load More ...
Sign in / Sign up

Export Citation Format

Share Document