On the Construction of Fine Automata for Safety Properties

DOI10.1007/11901914_11MaRDI QIDQ3522903zbMATH OpenOpenAlexFDO

Authors Orna Kupferman, Robby Lampert

Publication date 4 September 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Temporal logic (03B44) Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model checking of safety properties
• scientific article; zbMATH DE number 1982198
• Hardware and Software, Verification and Testing
• scientific article; zbMATH DE number 2102704
• Spanning the Spectrum from Safety to Liveness

Cited in

(13)

• Spanning the spectrum from safety to liveness
• Verification of asynchronous systems with an unspecified component
• On relative and probabilistic finite counterability
• Mode-automata: A new domain-specific construct for the development of safe critical systems.
• Optimized temporal monitors for SystemcC
• scientific article; zbMATH DE number 1982198 (Why is no real title available?)
• scientific article; zbMATH DE number 2102704 (Why is no real title available?)
• Finite Models vs Tree Automata in Safety Verification
• Symbolic approximate time-optimal control
• Better Under-Approximation of Programs by Hiding Variables
• Hardware and Software, Verification and Testing
• Model checking of safety properties
• Dynamic shielding for reinforcement learning in black-box environments

This page was built for publication: On the Construction of Fine Automata for Safety Properties

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