scientific article; zbMATH DE number 1059321

MaRDI QIDQ4353628zbMATH OpenFDO

Authors Shmuel Katz

Publication date 26 February 1998

zbMATH Keywords

temporal logic \(ISTL^*\)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
• On using temporal logic for refinement and compositional verification of concurrent systems
• On the expressiveness of temporal equilibrium logic
• A temporal logic for proving properties of topologically general executions
• A proof system for a unified temporal logic
• A proof system for unified temporal logic
• Unifying proof methodologies of duration calculus and timed linear temporal logic
• scientific article; zbMATH DE number 5270677
• Implementing Temporal Logics: Tools for Execution and Proof
• A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING

Cited in

(6)

• scientific article; zbMATH DE number 1670505 (Why is no real title available?)
• scientific article; zbMATH DE number 1536545 (Why is no real title available?)
• Formal communication elimination and sequentialization equivalence proofs for distributed system models
• Proving refinement using transduction
• Proof reduction of fair stuttering refinement of asynchronous systems and applications
• On using temporal logic for refinement and compositional verification of concurrent systems

This page was built for publication:

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