Mechanical proofs about computer programs
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
The application of formal methods to the assessment of high integrity software
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Using VDM with rely and guarantee-conditions. Experiences from real projects
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
The foundation of a generic theorem prover
Journal of Automated Reasoning
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Mural: A Formal Development Support System
Mural: A Formal Development Support System
Strategies for incorporating formal specifications in software development
Communications of the ACM
How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
| Hi-index | 0.02 |
The application of an interactive theorem-proving assistant and specification support tool called mural in the specification and verification of a small Vienna development method (VDM) development is described. It is the authors' intention to give a feel for how mural works and of mural's applicability as a tool in specifying and verifying software.