Reactive safety

MaRDI QIDQ4964727zbMATH OpenFDO

Authors Rüdiger Ehlers, Bernd Finkbeiner

Publication date 3 March 2021

Full work available at URL https://arxiv.org/abs/1106.1240, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2011.13

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Recognizing safety and liveness
• Characterization of temporal property classes
• Sooner is safer than later
• Safety, liveness and fairness in temporal logic
• Probably safe or live

Cited in

(6)

• Sooner is safer than later
• Compositional construction of most general controllers
• An abstract interpretation-based model for safety semantics
• Verification, Model Checking, and Abstract Interpretation
• Copying safety and liveness properties of computational artefacts
• Decoupled fitness criteria for reactive systems

This page was built for publication: Reactive safety

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