CTL-property transformations along an incremental design process

MaRDI QIDQ2848426zbMATH OpenFDO

Authors Cécile Braunstein, Emmanuelle Encrenaz

Publication date 26 September 2013

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

Mathematics Subject Classification ID

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

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

Cited in

(3)

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

Describes a project that uses

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)