Semi-external LTL Model Checking

DOI10.1007/978-3-540-70545-1_50zbMath1155.68433OpenAlexW1576345759MaRDI QIDQ3512515

Stefan Edelkamp, Peter Sanders, P. Šimeček

Publication date: 15 July 2008

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70545-1_50

Mathematics Subject Classification ID

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

Related Items (2)

Flash memory efficient LTL model checking ⋮ Survey on Directed Model Checking

Uses Software

• DiVinE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A strong-connectivity algorithm and its applications in data flow analysis
• Algorithms for memory hierarchies. Advanced lectures
• On the Size of Separating Systems and Families of Perfect Hash Functions
• Simple and Space-Efficient Minimal Perfect Hash Functions
• Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking
• Formal Methods in Computer-Aided Design
• Model Checking Software

This page was built for publication: Semi-external LTL Model Checking