Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Formal Verification of Dynamic Properties in an Aerospace Application
Formal Methods in System Design
Industrial experience with SPARK
ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000
The SPARK way to correctness is via abstraction
ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000
Computer
Is Proof More Cost-Effective Than Testing?
IEEE Transactions on Software Engineering
Logic versus Magic in Critical Systems
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Closing the Loop: The Influence of Code Analysis on Design
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Formal Methods Diffusion: Past Lessons and Future Prospects
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
The Value of Verification: Positive Experience of Industrial Proof
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
What Does Industry Need From Formal Specification Techniques?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Issues in the application of software safety standards
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Developing safety critical software for an unmanned aerial vehicle situational awareness tool
Proceedings of the 2006 annual ACM SIGAda international conference on Ada
Information and Software Technology
| Hi-index | 0.00 |