Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540421245, 9783540451396

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatically validating temporal safety properties of interfaces

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/3-540-45139-0_7 ◽

2001 ◽

pp. 102-122 ◽

Author(s):

Thomas Ball ◽

Sriram K. Rajamani

Keyword(s):

Safety Properties

Download Full-text

Model-checking in finite state-space systems with fine-grained abstractions using SPIN

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/3-540-45139-0_3 ◽

2001 ◽

pp. 16-36 ◽

Author(s):

Marsha Chechik ◽

Benet Devereux ◽

Arie Gurfinkel

Keyword(s):

Model Checking ◽

State Space ◽

Space Systems ◽

Fine Grained ◽

Finite State ◽

State Space Systems ◽

Finite State Space

Download Full-text

Model checking systems of replicated processes with spin

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/3-540-45139-0_15 ◽

2001 ◽

pp. 235-251 ◽

Author(s):

Fabrice Derepas ◽

Paul Gastin

Keyword(s):

Download Full-text

Implementing LTL model checking with net unfoldings

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/3-540-45139-0_4 ◽

2001 ◽

pp. 37-56 ◽

Author(s):

Javier Esparza ◽

Keijo Heljanko

Keyword(s):

Model Checking ◽

Ltl Model Checking

Download Full-text

Distributed LTL model-checking in SPIN

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/3-540-45139-0_13 ◽

2001 ◽

pp. 200-216 ◽

Author(s):

Jiri Barnat ◽

Lubos Brim ◽

Jitka Stříbrná

Keyword(s):

Model Checking ◽

Ltl Model Checking

Download Full-text

Addressing dynamic issues of program model checking

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/3-540-45139-0_6 ◽

2001 ◽

pp. 80-102 ◽

Author(s):

Flavio Lerda ◽

Willem Visser

Keyword(s):

Model Checking ◽

Download Full-text

Modeling and verifying a price model for congestion control in computer networks using promela/spin

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/3-540-45139-0_17 ◽

2001 ◽

pp. 272-287 ◽

Author(s):

Clement Yuen ◽

Wei Tjioe

Keyword(s):

Congestion Control ◽

Computer Networks ◽

Download Full-text

A SPIN-based model checker for telecommunication protocols

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/3-540-45139-0_16 ◽

2001 ◽

pp. 252-271 ◽

Author(s):

Vivek K. Shanbhag ◽

K. Gopinath

Keyword(s):

Model Checker ◽

Telecommunication Protocols

Download Full-text

Applications of model checking at honeywell laboratories

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/3-540-45139-0_19 ◽

2001 ◽

pp. 296-303 ◽

Author(s):

Darren Cofer ◽

Eric Engstrom ◽

Robert Goldman ◽

David Musliner ◽

Steve Vestal

Keyword(s):

Download Full-text

Coarse-granular model checking in practice

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/3-540-45139-0_20 ◽

2001 ◽

pp. 304-311 ◽

Author(s):

Bernhard Steffen ◽

Tiziana Margaria ◽

Volker Braun

Keyword(s):

Download Full-text