An overview of the ISO/VDM-SL standard
ACM SIGPLAN Notices
Elements of style: analyzing a software design feature with a counterexample detector
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Faster checking of software specifications by eliminating isomorphs
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Isomorph-free model enumeration: a new method for checking relational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal specification and validation at work: a case study using VDM-SL
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
A Deterministic Interpreter Simulating A Distributed real time system using VDM
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Modeling and validating distributed embedded real-time systems with VDM++
FM'06 Proceedings of the 14th international conference on Formal Methods
Formal semantics of a VDM extension for distributed embedded systems
Concurrency, Compositionality, and Correctness
Hi-index | 0.00 |