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
The overture initiative integrating tools for VDM
ACM SIGSOFT Software Engineering Notes
Proving consistency of VDM models using HOL
Proceedings of the 2010 ACM Symposium on Applied Computing
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Proof obligation generation and discharging for recursive definitions in VDM
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Hi-index | 0.00 |