Distributed-Memory Model Checking with SPIN | Zendy

Flavio Lerda | Zendy; Riccardo Sisto | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Distributed-Memory Model Checking with SPIN

Author(s) -

Flavio Lerda,

Riccardo Sisto

Publication year - 1999

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/3-540-48234-2_3

Subject(s) - computer science , limiting , workstation , model checking , compatibility (geochemistry) , distributed computing , distributed memory , parallel computing , theoretical computer science , operating system , shared memory , mechanical engineering , geochemistry , geology , engineering

The main limiting factor of the model checker SPIN is currently the amount of available physical memory. This paper explores the possibility of exploiting a distributed-memory execution environment, such as a network of workstations interconnected by a standard LAN, to extend the size of the verification problems that can be successfully handled by SPIN. A distributed version of the algorithm used by SPIN to verify safety properties is presented, and its compatibility with the main memory and complexity reduction mechanisms of SPIN is discussed. Finally, some preliminary experimental results are presented

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research