Translating specifications in VDM-SL to PVS

DOI10.1007/BFB0105393zbMATH Open1543.68187MaRDI QIDQ6567700FDOQ6567700

Authors: Sten Agerholm 

Publication date: 5 July 2024

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)