Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations

DOI10.1145/2532440zbMATH Open1291.03028OpenAlexW2164131403MaRDI QIDQ5169969FDOQ5169969

Authors: Cindy Eisner, Dana Fisman, John W. Havlicek 

Publication date: 17 July 2014

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2532440

Recommendations

• A lattice-theoretic characterization of safety and liveness
• The coarsest precongruences respecting safety and liveness properties
• Safety and liveness from a methodological point of view
• scientific article; zbMATH DE number 1759635
• Safety, domain independence and generalized quantification
• A topological characterization of weakness
• Computer Science Logic
• Safety, domination, and differential support
• Quantitative safety and liveness

zbMATH Keywords

topologytemporal logicregular expressionssafetylivenessSVAPSL

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The temporal semantics of concurrent programs
• Temporal logic can be more expressive
• Reasoning with temporal logic on truncated paths.
• Reasoning about infinite computations
• Title not available (Why is that?)
• Safety, liveness and fairness in temporal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computer Science Logic
• Defining liveness
• Recognizing safety and liveness
• Looping vs. repeating in dynamic logic
• Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness
• Some Complexity Results for SystemVerilog Assertions
• A lattice-theoretic characterization of safety and liveness
• Title not available (Why is that?)
• A topological characterization of weakness

Cited In (2)

• A topological characterization of weakness
• Functional specification of hardware via temporal logic

This page was built for publication: Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations

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