Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540434771, 9783540460176
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Agreement Problem Protocol Verification Environment

2010 ◽  
pp. 148-169 ◽  
Author(s):  
J. S. Pascoe ◽  
R. J. Loader ◽  
V. S. Sunderam
Keyword(s):  
Protocol Verification ◽  
Agreement Problem

Demonstration of an Automated Integrated Test Environment for Web-Based Applications

2002 ◽  
pp. 250-253 ◽  
Author(s):  
Tiziana Margaria ◽  
Oliver Niese ◽  
Bernhard Steffen
Keyword(s):  
Test Environment ◽  
Web Based

scholarly journals The Influence of Software Module Systems on Modular Verification

2002 ◽  
pp. 60-78 ◽  
Author(s):  
Harry C. Li ◽  
Kathi Fisler ◽  
Shriram Krishnamurthi
Keyword(s):  
Software Module ◽  
Modular Verification ◽  
Module Systems

scholarly journals SPINning Parallel Systems Software

2002 ◽  
pp. 213-220 ◽  
Author(s):  
Olga Shumsky Matlin ◽  
Ewing Lusk ◽  
William McCune
Keyword(s):  
Parallel Systems ◽  
Systems Software

Extending the Translation from SDL to Promela

2002 ◽  
pp. 79-94 ◽  
Author(s):  
Armelle Prigent ◽  
Franck Cassez ◽  
Philippe Dhaussy ◽  
Olivier Roux

Heuristic Model Checking for Java Programs

2002 ◽  
pp. 242-245 ◽  
Author(s):  
Alex Groce ◽  
Willem Visser
Keyword(s):  
Model Checking ◽  
Heuristic Model ◽  
Java Programs

scholarly journals Bytecode Model Checking: An Experimental Analysis

2002 ◽  
pp. 42-59 ◽  
Author(s):  
David Basin ◽  
Stefan Friedrich ◽  
Marek Gawkowski ◽  
Joachim Posegga
Keyword(s):  
Model Checking ◽  
Experimental Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document