Formal Methods in Computer-Aided Design

DOI10.1007/B102264MaRDI QIDQ5492992zbMATH OpenOpenAlexFDO

Authors Luboš Brim, P. Moravec, J. Šimša, I. Černá

Publication date 20 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• How to order vertices for distributed LTL model-checking based on accepting predecessors
• Cluster-Based LTL Model Checking of Large Systems
• Distributed breadth-first search LTL model checking
• scientific article; zbMATH DE number 1744967
• scientific article; zbMATH DE number 2081097

Cited in

(9)

• On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
• Distributed breadth-first search LTL model checking
• How to order vertices for distributed LTL model-checking based on accepting predecessors
• Semi-external LTL Model Checking
• Cluster-Based LTL Model Checking of Large Systems
• The sweep-line state space exploration method
• Model checking of biological systems
• Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking
• Flash memory efficient LTL model checking

This page was built for publication: Formal Methods in Computer-Aided Design

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