scientific article; zbMATH DE number 148938

MaRDI QIDQ4031327zbMATH OpenFDO

Authors Radosław Klimek

Publication date 1 April 1993

zbMATH Keywords

temporal logicsoftware engineeringsafetyanalysis of correctnessformal analysis of software

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 3985193
• Application of temporal logic to program specification
• scientific article; zbMATH DE number 3898203
• scientific article; zbMATH DE number 2090286
• Temporal property verification as a program analysis task
• Specification and verification using temporal logics
• scientific article; zbMATH DE number 947806
• Temporal logic specification mining of programs
• Implementing Temporal Logics: Tools for Execution and Proof

Cited in

(8)

• Proving correctness of compiler optimizations by temporal logic
• Verifying temporal properties without temporal logic
• Code analysis for temporal predictability
• Proving correctness of timed concurrent constraint programs
• scientific article; zbMATH DE number 2087421 (Why is no real title available?)
• scientific article; zbMATH DE number 1948411 (Why is no real title available?)
• Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?
• Verification of temporal properties of nondeterministic algorithms

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 Q4031327)