Theoretical and Practical Aspects of SPIN Model Checking - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540664994, 9783540482345

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness

Theoretical and Practical Aspects of SPIN Model Checking - Lecture Notes in Computer Science ◽

10.1007/3-540-48234-2_4 ◽

1999 ◽

pp. 40-56 ◽

Author(s):

Dragan Bošnački

Keyword(s):

Partial Order ◽

Order Reduction ◽

Partial Order Reduction

Download Full-text

Embedding a Dialect of SDL in PROMELA

Theoretical and Practical Aspects of SPIN Model Checking - Lecture Notes in Computer Science ◽

10.1007/3-540-48234-2_19 ◽

1999 ◽

pp. 245-260 ◽

Author(s):

Heikki Tuominen

Download Full-text

Java PathFinder A Translator from Java to Promela

Theoretical and Practical Aspects of SPIN Model Checking - Lecture Notes in Computer Science ◽

10.1007/3-540-48234-2_11 ◽

1999 ◽

pp. 152-152 ◽

Author(s):

Klaus Havelund

Download Full-text

The Engineering of a Model Checker: the Gnu i-Protocol Case Study Revisited.

Theoretical and Practical Aspects of SPIN Model Checking - Lecture Notes in Computer Science ◽

10.1007/3-540-48234-2_18 ◽

1999 ◽

pp. 232-244 ◽

Author(s):

Gerard J. Holzmann

Keyword(s):

Download Full-text

Distributed-Memory Model Checking with SPIN

Theoretical and Practical Aspects of SPIN Model Checking - Lecture Notes in Computer Science ◽

10.1007/3-540-48234-2_3 ◽

1999 ◽

pp. 22-39 ◽

Author(s):

Flavio Lerda ◽

Riccardo Sisto

Keyword(s):

Model Checking ◽

Distributed Memory ◽

Download Full-text

Model Checking for Managers

Theoretical and Practical Aspects of SPIN Model Checking - Lecture Notes in Computer Science ◽

10.1007/3-540-48234-2_7 ◽

1999 ◽

pp. 92-107 ◽

Author(s):

Wil Janssen ◽

Radu Mateescu ◽

Sjouke Mauw ◽

Peter Fennema ◽

Petra van der Stappen

Keyword(s):

Download Full-text

Formal Methods Adoption: What’s Working, What’s Not!

Theoretical and Practical Aspects of SPIN Model Checking - Lecture Notes in Computer Science ◽

10.1007/3-540-48234-2_6 ◽

1999 ◽

pp. 77-91 ◽

Author(s):

Dan Craigen

Keyword(s):

Download Full-text

Runtime Efficient State Compaction in Spin

Theoretical and Practical Aspects of SPIN Model Checking - Lecture Notes in Computer Science ◽

10.1007/3-540-48234-2_2 ◽

1999 ◽

pp. 12-21 ◽

Author(s):

J Geldenhuys ◽

P J A de Villiers ◽

John Rushby

Download Full-text

Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin

Theoretical and Practical Aspects of SPIN Model Checking - Lecture Notes in Computer Science ◽

10.1007/3-540-48234-2_10 ◽

1999 ◽

pp. 136-151

Author(s):

Carl B. Adekunle ◽

Steve Schneider

Keyword(s):

Feature Interactions

Download Full-text

Applying Model Checking in Java Verification

Theoretical and Practical Aspects of SPIN Model Checking - Lecture Notes in Computer Science ◽

10.1007/3-540-48234-2_17 ◽

1999 ◽

pp. 216-231 ◽

Author(s):

Klaus Havelund ◽

Jens Ulrik Skakkebæk

Keyword(s):

Download Full-text