Cluster-Based LTL Model Checking of Large Systems

DOI10.1007/11804192_13MaRDI QIDQ3591390zbMATH OpenOpenAlexFDO

Authors J. Barnat, Luboš Brim, I. Černá

Publication date 11 September 2007

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11804192_13

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Distributed breadth-first search LTL model checking
• scientific article; zbMATH DE number 2081097
• scientific article; zbMATH DE number 1744967
• Formal Methods in Computer-Aided Design
• Model Checking Software

Cited in

(11)

• Sequential and distributed model checking of Petri net specifications
• Distributed explicit bounded LTL model checking
• Random walk based heuristic algorithms for distributed memory model checking
• How to order vertices for distributed LTL model-checking based on accepting predecessors
• Distributed verification of multi-threaded C++ programs
• VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND
• scientific article; zbMATH DE number 2081097 (Why is no real title available?)
• scientific article; zbMATH DE number 1744967 (Why is no real title available?)
• Automata-Theoretic Model Checking Revisited
• Formal Methods in Computer-Aided Design
• Model Checking Software

Describes a project that uses

Uses Software

• SPIN
• DiVinE

This page was built for publication: Cluster-Based LTL Model Checking of Large Systems

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