Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540213147, 9783540247326

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

State Caching Reconsidered

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24732-6_3 ◽

2004 ◽

pp. 23-38 ◽

Cited By ~ 11

Author(s):

Jaco Geldenhuys

Download Full-text

Verification of Java Programs Using Symbolic Execution and Invariant Generation

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24732-6_13 ◽

2004 ◽

pp. 164-181 ◽

Cited By ~ 41

Author(s):

Corina S. Păsăreanu ◽

Willem Visser

Keyword(s):

Symbolic Execution ◽

Invariant Generation ◽

Java Programs

Download Full-text

Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24732-6_4 ◽

2004 ◽

pp. 39-56 ◽

Cited By ~ 13

Author(s):

Peter Leven ◽

Tilman Mehler ◽

Stefan Edelkamp

Keyword(s):

Error Detection ◽

Model Checker ◽

Level Model

Download Full-text

Model-Driven Software Verification

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24732-6_6 ◽

2004 ◽

pp. 76-91 ◽

Cited By ~ 45

Author(s):

Gerard J. Holzmann ◽

Rajeev Joshi

Keyword(s):

Software Verification ◽

Model Driven

Download Full-text

A Scalable Incomplete Test for Message Buffer Overflow in Promela Models

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24732-6_16 ◽

2004 ◽

pp. 216-233 ◽

Cited By ~ 11

Author(s):

Stefan Leue ◽

Richard Mayr ◽

Wei Wei

Keyword(s):

Buffer Overflow

Download Full-text

Translation from Adapted UML to Promela for CORBA-Based Applications

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24732-6_17 ◽

2004 ◽

pp. 234-251 ◽

Cited By ~ 8

Author(s):

J. Chen ◽

H. Cui

Download Full-text

Polynomial Time Image Computation with Interval-Definable Counters Systems

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24732-6_14 ◽

2004 ◽

pp. 182-197 ◽

Cited By ~ 1

Author(s):

Alain Finkel ◽

Jérôme Leroux

Keyword(s):

Polynomial Time ◽

Image Computation ◽

Time Image

Download Full-text

Minimization of Counterexamples in SPIN

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24732-6_7 ◽

2004 ◽

pp. 92-108 ◽

Cited By ~ 17

Author(s):

Paul Gastin ◽

Pierre Moro ◽

Marc Zeitoun

Download Full-text

Explicit State Model Checking with Hopper

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24732-6_10 ◽

2004 ◽

pp. 146-150 ◽

Cited By ~ 12

Author(s):

Michael Jones ◽

Eric Mercer

Keyword(s):

Model Checking ◽

State Model

Download Full-text

Model Checking Genetic Regulatory Networks Using GNA and CADP

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24732-6_12 ◽

2004 ◽

pp. 158-163 ◽

Cited By ~ 12

Author(s):

Grégory Batt ◽

Damien Bergamini ◽

Hidde de Jong ◽

Hubert Garavel ◽

Radu Mateescu

Keyword(s):

Model Checking ◽

Regulatory Networks ◽

Genetic Regulatory Networks

Download Full-text

Model Checking Software - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

State Caching Reconsidered

Verification of Java Programs Using Symbolic Execution and Invariant Generation

Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM

Model-Driven Software Verification

A Scalable Incomplete Test for Message Buffer Overflow in Promela Models

Translation from Adapted UML to Promela for CORBA-Based Applications

Polynomial Time Image Computation with Interval-Definable Counters Systems

Minimization of Counterexamples in SPIN

Explicit State Model Checking with Hopper

Model Checking Genetic Regulatory Networks Using GNA and CADP

Model Checking Software - Lecture Notes in Computer Science
Latest Publications