scientific article; zbMATH DE number 1746649

MaRDI QIDQ4530809zbMATH OpenFDO

Authors Hubert Garavel, Radu Mateescu, Irina M. Smarandache

Publication date 9 June 2002

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Effective state exploration for model checking on a shared memory architecture
• scientific article; zbMATH DE number 2188504
• scientific article; zbMATH DE number 2217744
• An experiment on parallel model checking of a CTL fragment
• To Parallelize or to Optimize?

Cited in

(17)

• Dealing with practical limitations of distributed timed model checking for timed automata
• CTL model checking on a shared-memory architecture
• Distributed verification of multi-threaded C++ programs
• Distributed and predictable software model checking
• Measuring and evaluating parallel state-space exploration algorithms
• Verification, Model Checking, and Abstract Interpretation
• Hierarchical Adaptive State Space Caching Based on Level Sampling
• Model checking of biological systems
• Parallel Explicit Model Checking for Generalized Büchi Automata
• CADP 2010: a toolbox for the construction and analysis of distributed processes
• Exploiting symmetry of state tree structures for discrete-event systems with parallel components
• scientific article; zbMATH DE number 2064469 (Why is no real title available?)
• Distributed branching bisimulation reduction of state spaces
• Load balancing parallel explicit state model checking
• A path construction algorithm for translation validation using PRES+ models
• A database approach to distributed state space generation
• Model Checking Software

Describes a project that uses

Uses Software

• NuSMV
• SPIN

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530809)