Translating specifications in VDM-SL to PVS

DOI10.1007/BFB0105393zbMATH Open1543.68187MaRDI QIDQ6567700FDOQ6567700

Authors: Sten Agerholm 

Publication date: 5 July 2024

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Isabelle. A generic theorem prover
• Title not available (Why is that?)
• Title not available (Why is that?)

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)