CTL may be ambiguous when model checking Moore machines

DOI10.1007/B93958MaRDI QIDQ5897065zbMATH OpenOpenAlexFDO

Authors Cédric Roux, Emmanuelle Encrenaz

Publication date 5 February 2010

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

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

Mathematics Subject Classification ID

Temporal logic (03B44) Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Computation tree logic and NuSMV model checker
• CTL-property transformations along an incremental design process
• scientific article; zbMATH DE number 1705163
• Model Checking CTL is Almost Always Inherently Sequential
• scientific article; zbMATH DE number 2086523

Cited in

(1)

• CTL-property transformations along an incremental design process

This page was built for publication: CTL may be ambiguous when model checking Moore machines

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