Application of temporal logic to program specification

MaRDI QIDQ5930938zbMATH OpenFDO

Authors M. K. Valiev

Publication date 26 April 2001

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

formal specificationverification

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Application of modal logics to the specification and verification of programs
• scientific article; zbMATH DE number 4081518
• scientific article; zbMATH DE number 148938
• scientific article; zbMATH DE number 3982506
• Proving correctness of timed concurrent constraint programs

Cited in

(6)

• Event-driven temporal logic pattern for control software requirements specification
• Using temporal logics of knowledge for specification and verification -- a case study
• Application of modal logics to the specification and verification of programs
• scientific article; zbMATH DE number 3926220 (Why is no real title available?)
• scientific article; zbMATH DE number 148938 (Why is no real title available?)
• Automated temporal reasoning about reactive systems

This page was built for publication: Application of temporal logic to program specification

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