Structural reductions and stutter sensitive properties

DOI10.46298/LMCS-21(2:15)2025MaRDI QIDQ6960759zbMATH OpenFDO

Authors Emmanuel Paviot-Adet, Denis Poitrenaud, E. Renault, Yann Thierry-Mieg

Publication date 11 July 2025

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-21(2:15)2025

zbMATH Keywords

model checkingomega-automatastructural reductionsstutter-sensitivity

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)

Cites work

• scientific article; zbMATH DE number 1670781 (Why is no real title available?)
• scientific article; zbMATH DE number 1696466 (Why is no real title available?)
• scientific article; zbMATH DE number 3980500 (Why is no real title available?)
• scientific article; zbMATH DE number 177511 (Why is no real title available?)
• scientific article; zbMATH DE number 1487477 (Why is no real title available?)
• scientific article; zbMATH DE number 1759609 (Why is no real title available?)
• A theorem on atomicity in distributed algorithms
• Automata-Theoretic Model Checking Revisited
• Automated Technology for Verification and Analysis
• Covering step graph preserving failure semantics
• LTL under reductions with weaker conditions than stutter invariance
• Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
• MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
• More scalable LTL model checking via discovering design-space dependencies \((D^3)\)
• Reduction
• Structural reductions and stutter sensitive properties
• Structural reductions revisited
• Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata

Cited in

(1)

• Structural reductions and stutter sensitive properties

This page was built for publication: Structural reductions and stutter sensitive properties

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