CTL-property transformations along an incremental design process

zbMATH Open1272.68040MaRDI QIDQ2848426FDOQ2848426

Authors: Cécile Braunstein, Emmanuelle Encrenaz 

Publication date: 26 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002483

Recommendations

• CTL may be ambiguous when model checking Moore machines
• scientific article; zbMATH DE number 910721
• scientific article; zbMATH DE number 2102715
• Efficient logic design of reliable control units. I
• On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Cited In (3)

• A formal verification technique for behavioural model-to-model transformations
• CTL may be ambiguous when model checking Moore machines
• Property transformation under specification change

Uses Software

• MOCHA

This page was built for publication: CTL-property transformations along an incremental design process

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