Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540331025, 9783540331032
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verification of Medical Guidelines by Model Checking – A Case Study

2006 ◽  
pp. 219-233 ◽  
Author(s):  
Simon Bäumler ◽  
Michael Balser ◽  
Andriy Dunets ◽  
Wolfgang Reif ◽  
Jonathan Schmitt
Keyword(s):  
Model Checking ◽  
Medical Guidelines

scholarly journals Towards a Compositional SPIN

2006 ◽  
pp. 234-251 ◽  
Author(s):  
Corina S. Păsăreanu ◽  
Dimitra Giannakopoulou

A Counterexample-Guided Refinement Tool for Open Procedural Programs

2006 ◽  
pp. 288-292 ◽  
Author(s):  
Aleksandar Dimovski ◽  
Dan R. Ghica ◽  
Ranko Lazić

Symbolic Execution with Abstract Subsumption Checking

2006 ◽  
pp. 163-181 ◽  
Author(s):  
Saswat Anand ◽  
Corina S. Păsăreanu ◽  
Willem Visser
Keyword(s):  
Symbolic Execution ◽  
Subsumption Checking

Model Checking Dynamic States in GROOVE

2006 ◽  
pp. 299-305 ◽  
Author(s):  
Harmen Kastenberg ◽  
Arend Rensink
Keyword(s):  
Model Checking ◽  
Dynamic States

Parallel and Distributed Model Checking in Eddy

2006 ◽  
pp. 108-125 ◽  
Author(s):  
Igor Melatti ◽  
Robert Palmer ◽  
Geoffrey Sawaya ◽  
Yu Yang ◽  
Robert Mike Kirby ◽  
...  
Keyword(s):  
Model Checking ◽  
Distributed Model ◽  
Distributed Model Checking

Abstract Matching for Software Model Checking

2006 ◽  
pp. 182-200 ◽  
Author(s):  
Pedro de la Cámara ◽  
María del Mar Gallardo ◽  
Pedro Merino
Keyword(s):  
Model Checking ◽  
Software Model Checking ◽  
Software Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document