Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking

DOI10.1007/978-3-540-78800-3_5MaRDI QIDQ5458320zbMATHOpenAlexFDO

Authors J. Barnat, Luboš Brim, P. Šimeček, Michael Weber

Publication date 11 April 2008

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78800-3_5

Mathematics Subject Classification ID

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

Recommendations

• Semi-external LTL Model Checking
• Tools and Algorithms for the Construction and Analysis of Systems
• Parallel nested depth-first searches for LTL model checking
• Tools and Algorithms for the Construction and Analysis of Systems
• More efficient on-the-fly LTL verification with Tarjan's algorithm

Cites work

• scientific article; zbMATH DE number 1705167 (Why is no real title available?)
• scientific article; zbMATH DE number 1305462 (Why is no real title available?)
• scientific article; zbMATH DE number 1069483 (Why is no real title available?)
• scientific article; zbMATH DE number 1982197 (Why is no real title available?)
• Formal Methods in Computer-Aided Design
• How to order vertices for distributed LTL model-checking based on accepting predecessors
• Model Checking Software

Cited in

(4)

• Survey on Directed Model Checking
• The sweep-line state space exploration method
• Flash memory efficient LTL model checking
• Semi-external LTL Model Checking

Describes a project that uses

Uses Software

• DiVinE
• STXXL
• BEEM

This page was built for publication: Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking

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