Verification of temporal properties of nondeterministic algorithms

MaRDI QIDQ3536336zbMATH OpenFDO

Authors M. Kacprzak

Publication date 21 November 2008

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 1786650
• Verification of temporal properties
• scientific article; zbMATH DE number 148938
• Verifying temporal properties without temporal logic
• Application of modal logics to the specification and verification of programs

Cited in

(5)

• The custodial Randall-Sundrum model: from precision tests to Higgs physics
• scientific article; zbMATH DE number 177500 (Why is no real title available?)
• scientific article; zbMATH DE number 1786650 (Why is no real title available?)
• Verification of temporal properties
• Verifying specifications in the language L against temporal properties nonexpressible in this language

This page was built for publication: Verification of temporal properties of nondeterministic algorithms

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