Is Proof More Cost-Effective Than Testing?
IEEE Transactions on Software Engineering
Breaking Through the V and V Bottleneck
Proceedings of the Second International Eurospace - Ada-Europe Symposium on Ada in Europe
Industrial experience with SPARK
ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000
Logic versus Magic in Critical Systems
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Hi-index | 0.00 |
This paper gives a short introduction to the SPARK language and illustrates how the use of abstraction leads towards correctness.