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
Automated Black-Box Testing with Abstract VDM Oracles
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
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
Combining VDM with executable code
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Hi-index | 0.00 |