Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/B96393MaRDI QIDQ5308408zbMATH OpenOpenAlexFDO

Authors J. Geldenhuys, Antti Valmari

Publication date 28 September 2007

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 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

• More efficient on-the-fly LTL verification with Tarjan's algorithm
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Comparison of algorithms for checking emptiness on Büchi automata
• Component-wise incremental LTL model checking

Cited in

(10)

• More efficient on-the-fly LTL verification with Tarjan's algorithm
• Generic emptiness check for fun and profit
• scientific article; zbMATH DE number 2147038 (Why is no real title available?)
• scientific article; zbMATH DE number 7365811 (Why is no real title available?)
• Component-wise incremental LTL model checking
• Automata-Theoretic Model Checking Revisited
• Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking
• Tools and Algorithms for the Construction and Analysis of Systems
• Model checking \(\omega \)-regular properties with decoupled search
• A space-efficient algorithm for finding strongly connected components

Describes a project that uses

Uses Software

• LTL2BA

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems

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