Translating specifications in VDM-SL to PVS

DOI10.1007/BFB0105393MaRDI QIDQ6567700zbMATH OpenFDO

Authors Sten Agerholm

Publication date 5 July 2024

Full work available at URL https://doi.org/10.1007/BFB0105393

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• scientific article; zbMATH DE number 1107557
• Translation templates to support strategy development in PVS
• scientific article; zbMATH DE number 595218
• scientific article; zbMATH DE number 2080009
• scientific article; zbMATH DE number 683356

Cites work

• scientific article; zbMATH DE number 2185686 (Why is no real title available?)
• scientific article; zbMATH DE number 595218 (Why is no real title available?)
• scientific article; zbMATH DE number 234014 (Why is no real title available?)
• Isabelle. A generic theorem prover

This page was built for publication: Translating specifications in VDM-SL to PVS

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