SPIN Model Checking and Software Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540410300, 9783540452973

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Interaction Abstraction for Compositional Finite State Systems

SPIN Model Checking and Software Verification - Lecture Notes in Computer Science ◽

10.1007/10722468_9 ◽

2000 ◽

pp. 148-162 ◽

Cited By ~ 1

Author(s):

Wayne Liu

Keyword(s):

Finite State

Download Full-text

Testing Spin’s LTL Formula Conversion into Büchi Automata with Randomly Generated Input

SPIN Model Checking and Software Verification - Lecture Notes in Computer Science ◽

10.1007/10722468_4 ◽

2000 ◽

pp. 54-72

Author(s):

Heikki Tauriainen ◽

Keijo Heljanko

Keyword(s):

Büchi Automata ◽

Buchi Automata

Download Full-text

Low-Fat Recipes for SPIN

SPIN Model Checking and Software Verification - Lecture Notes in Computer Science ◽

10.1007/10722468_17 ◽

2000 ◽

pp. 287-321 ◽

Cited By ~ 11

Author(s):

Theo C. Ruys

Keyword(s):

Low Fat

Download Full-text

Abstraction of Communication Channels in Promela: A Case Study

SPIN Model Checking and Software Verification - Lecture Notes in Computer Science ◽

10.1007/10722468_12 ◽

2000 ◽

pp. 187-204 ◽

Cited By ~ 7

Author(s):

Elena Fersman ◽

Bengt Jonsson

Keyword(s):

Communication Channels

Download Full-text

Linking ST e P with SPIN

SPIN Model Checking and Software Verification - Lecture Notes in Computer Science ◽

10.1007/10722468_11 ◽

2000 ◽

pp. 181-186

Author(s):

Anca Browne ◽

Henny Sipma ◽

Ting Zhang

Download Full-text

Model-Checking Multi-threaded Distributed Java Programs

SPIN Model Checking and Software Verification - Lecture Notes in Computer Science ◽

10.1007/10722468_14 ◽

2000 ◽

pp. 224-244 ◽

Cited By ~ 37

Author(s):

Scott D. Stoller

Keyword(s):

Model Checking ◽

Java Programs

Download Full-text

Using Runtime Analysis to Guide Model Checking of Java Programs

SPIN Model Checking and Software Verification - Lecture Notes in Computer Science ◽

10.1007/10722468_15 ◽

2000 ◽

pp. 245-264 ◽

Cited By ~ 51

Author(s):

Klaus Havelund

Keyword(s):

Model Checking ◽

Runtime Analysis ◽

Java Programs

Download Full-text

Verification and Optimization of a PLC Control Schedule

SPIN Model Checking and Software Verification - Lecture Notes in Computer Science ◽

10.1007/10722468_5 ◽

2000 ◽

pp. 73-92 ◽

Cited By ~ 10

Author(s):

Ed Brinksma ◽

Angelika Mader

Keyword(s):

Plc Control

Download Full-text

Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study

SPIN Model Checking and Software Verification - Lecture Notes in Computer Science ◽

10.1007/10722468_6 ◽

2000 ◽

pp. 93-112 ◽

Cited By ~ 2

Author(s):

Nicholas Weininger ◽

Darren Cofer

Keyword(s):

Synchronization Algorithm

Download Full-text

Communication Topology Analysis for Concurrent Programs

SPIN Model Checking and Software Verification - Lecture Notes in Computer Science ◽

10.1007/10722468_16 ◽

2000 ◽

pp. 265-286 ◽

Cited By ~ 4

Author(s):

Matthieu Martel ◽

Marc Gengler

Keyword(s):

Concurrent Programs ◽

Topology Analysis ◽

Communication Topology

Download Full-text

SPIN Model Checking and Software Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Interaction Abstraction for Compositional Finite State Systems

Testing Spin’s LTL Formula Conversion into Büchi Automata with Randomly Generated Input

Low-Fat Recipes for SPIN

Abstraction of Communication Channels in Promela: A Case Study

Linking ST e P with SPIN

Model-Checking Multi-threaded Distributed Java Programs

Using Runtime Analysis to Guide Model Checking of Java Programs

Verification and Optimization of a PLC Control Schedule

Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study

Communication Topology Analysis for Concurrent Programs

SPIN Model Checking and Software Verification - Lecture Notes in Computer Science
Latest Publications