scientific article; zbMATH DE number 1105197

MaRDI QIDQ4370601zbMATH OpenFDO

Authors

Publication date 18 January 1998

zbMATH Keywords

SQLformal proofIsabelleformal modelformal specificationcase studyPVSVDMEXPRESSCase studiesVDM-SL

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 595218
• scientific article; zbMATH DE number 683356
• VDM: Axiomatising its Propositional Logic
• Publication:3028331
• scientific article; zbMATH DE number 3870636
• Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
• Case-analysis for rippling and inductive proof

Cited in

(7)

• The formal specification of safety requirements for storing explosives
• Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications
• scientific article; zbMATH DE number 683356 (Why is no real title available?)
• scientific article; zbMATH DE number 1552508 (Why is no real title available?)
• scientific article; zbMATH DE number 550761 (Why is no real title available?)
• Response to ``The formal specification of safety requirements for storing explosives
• scientific article; zbMATH DE number 595218 (Why is no real title available?)

Describes a project that uses

Uses Software

• PVS
• Isabelle

This page was built for publication:

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