UTP and temporal logic model checking

DOI10.1007/978-3-642-14521-6_3MaRDI QIDQ3585021zbMATH OpenOpenAlexWikidataFDO

Authors Hugh Anderson, Gabriel Ciobanu, Leo Freitas

Publication date 31 August 2010

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14521-6_3

zbMATH Keywords

symbolic model checkingunifying theories of programming

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Unified temporal logic
• scientific article; zbMATH DE number 2080188
• scientific article; zbMATH DE number 1696823
• Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings
• scientific article; zbMATH DE number 177234

Cited in

(3)

• Three Approaches to Timed External Choice in UTP
• Unifying heterogeneous state-spaces with lenses
• Applying formal verification to an open-source real-time operating system

This page was built for publication: UTP and temporal logic model checking

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