Compositional reasoning using interval temporal logic and Tempura

DOI10.1007/3-540-49213-5_17MaRDI QIDQ7010066zbMATH OpenFDO

Authors Ben Moszkowski

Publication date 19 March 2025

Full work available at URL https://doi.org/10.1007/3-540-49213-5_17

Mathematics Subject Classification ID

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

Cites work

• A proof method for cyclic programs
• An axiomatic basis for computer programming
• scientific article; zbMATH DE number 3848604 (Why is no real title available?)
• scientific article; zbMATH DE number 4170873 (Why is no real title available?)
• scientific article; zbMATH DE number 3825144 (Why is no real title available?)
• scientific article; zbMATH DE number 3985193 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)

Cited in

(1)

• Temporal behavior trees: robustness and segmentation

This page was built for publication: Compositional reasoning using interval temporal logic and Tempura

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