Verification of temporal properties

DOI10.1093/LOGCOM/6.3.343MaRDI QIDQ4885623zbMATH OpenOpenAlexFDO

Authors Limor Fix, Orna Grumberg

Publication date 10 November 1996

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://hdl.handle.net/1813/6142

zbMATH Keywords

deductive systemreactive programstemporal reasoning

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Completing the temporal picture
• scientific article; zbMATH DE number 1786650
• scientific article; zbMATH DE number 4153903
• Verification of temporal properties of nondeterministic algorithms
• Verifying temporal properties without temporal logic

Cited in

(13)

• A general technique for proving lock-freedom
• Temporal prophecy for proving temporal properties of infinite-state systems
• Temporal property verification as a program analysis task
• Verification of temporal properties of nondeterministic algorithms
• scientific article; zbMATH DE number 3898203 (Why is no real title available?)
• scientific article; zbMATH DE number 3926220 (Why is no real title available?)
• Verifying temporal properties without temporal logic
• scientific article; zbMATH DE number 52748 (Why is no real title available?)
• A temporal negative normal form which preserves implicants and implicates
• A Sound and Complete Deductive System for CTL* Verification
• Automatically verifying temporal properties of pointer programs with cyclic proof
• Verifying specifications in the language L against temporal properties nonexpressible in this language
• Deductive verification of alternating systems

This page was built for publication: Verification of temporal properties

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