Model-checking the preservation of temporal properties upon feature integration

MaRDI QIDQ2848430zbMATH OpenFDO

Authors Dimitar P. Guelev, M. D. Ryan, Pierre Yves Schobbens

Publication date 26 September 2013

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2038698
• scientific article; zbMATH DE number 910719
• scientific article; zbMATH DE number 1487860
• scientific article; zbMATH DE number 1744956
• CTL model update for system modifications

Cited in

(3)

• Integrating topological proofs with model checking to instrument iterative design
• Formal Methods for Components and Objects
• Efficient property preservation checking of model refinements

This page was built for publication: Model-checking the preservation of temporal properties upon feature integration

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