Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking

DOI10.1007/978-3-642-24372-1_24zbMath1348.68132OpenAlexW79217171MaRDI QIDQ3172924

Alexandre Duret-Lutz, Yann Thierry-Mieg, Denis Poitrenaud, Kais Klai

Publication date: 7 October 2011

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24372-1_24

Mathematics Subject Classification ID

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

Related Items (1)

Component-wise incremental LTL model checking

Uses Software

• libDDD

This page was built for publication: Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking