Author:
Whalen Michael,Schumann Johann,Fischer Bernd
Publisher
Springer Berlin Heidelberg
Reference42 articles.
1. A. W. Appel and A. P. Felty. A semantic model of types and machine instructions for proof-carrying code. In Proc. 27th ACM Symp. Principles of Programming Languages, pp. 243–253. ACM Press, 2001.
2. J. Barnes. High Integrity Ada: The SPARK Approach. Addison-Wesley, 1997.
3. H. Barringer, J. H. Cheng, and C. B. Jones. A logic covering undefinedness in program proofs. Acta Informatica, 21(3):251–269, Oct. 1984.
4. J. Berkowitz. Photoabsorption, Photoionization, and Photoelectron Spectroscopy. Academic Press, 1979.
5. CASC-JC theorem proving competition. http://www.cs.miams.edu/~tptp/CASC/JC .
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification Witnesses;ACM Transactions on Software Engineering and Methodology;2022-09-08
2. Generating Programs Plus Proofs by Refinement;Verified Software: Theories, Tools, Experiments;2008
3. Verification of finite iterations over collections of variable data structures;Cybernetics and Systems Analysis;2007-05
4. Certifiable Program Generation;Generative Programming and Component Engineering;2005
5. Automating the implementation of Kalman filter algorithms;ACM Transactions on Mathematical Software;2004-12