Inheritance of temporal logic properties.

DOI10.1007/B94120MaRDI QIDQ5902542zbMATH OpenOpenAlexFDO

Authors Heike Wehrheim

Publication date 12 January 2010

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

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

Mathematics Subject Classification ID

Temporal logic (03B44) Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A temporal logic approach to object certification
• scientific article; zbMATH DE number 1569128
• Semantics of temporal classes
• scientific article; zbMATH DE number 860045
• scientific article; zbMATH DE number 140249

Cited in

(9)

• Twenty years of rewriting logic
• Slicing techniques for verification re-use
• scientific article; zbMATH DE number 1670750 (Why is no real title available?)
• On the correctness of data type classes based on contracts
• Embedding of biological regulatory networks and property preservation
• scientific article; zbMATH DE number 140249 (Why is no real title available?)
• scientific article; zbMATH DE number 1569128 (Why is no real title available?)
• Formal Methods for Components and Objects
• Refinement, conformance and inheritance

This page was built for publication: Inheritance of temporal logic properties.

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