Safety property-driven stubborn sets

DOI10.1007/978-3-319-45994-3_7MaRDI QIDQ1708658zbMATH OpenOpenAlexFDO

Authors Henri Hansen, Antti Valmari

Publication date 26 March 2018

Full work available at URL https://doi.org/10.1007/978-3-319-45994-3_7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Hardware and Software, Verification and Testing
• Constructive-destructive heuristics for the safe set problem
• The coarsest precongruences respecting safety and liveness properties
• Safety, domain independence and generalized quantification
• Non-probabilistic set-theoretic model for structural safety measure
• Model checking of safety properties
• scientific article; zbMATH DE number 2102704
• Safety, domination, and differential support
• Safe equivalences for security properties
• scientific article; zbMATH DE number 1982198

Cited in

(1)

• scientific article; zbMATH DE number 1696461 (Why is no real title available?)

This page was built for publication: Safety property-driven stubborn sets

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