Author:
Herms Paolo,Marché Claude,Monate Benjamin
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Abrial, J.-R.: The B-Book, assigning programs to meaning. Cambridge University Press (1996)
2. Lecture Notes in Computer Science;M. Barnett,2006
3. Lecture Notes in Computer Science;M. Barnett,2005
4. Baudin, P., Filliâtre, J.-C., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI/ISO C Specification Language, version 1.4 (2009), http://frama-c.cea.fr/acsl.html
5. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development. Springer, Heidelberg (2004)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Sound Gradual Verification with Symbolic Execution;Proceedings of the ACM on Programming Languages;2024-01-05
2. A Formalization of Core Why3 in Coq;Proceedings of the ACM on Programming Languages;2024-01-05
3. Formally Validating a Practical Verification Condition Generator;Computer Aided Verification;2021
4. A Generalized Program Verification Workflow Based on Loop Elimination and SA Form;2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE);2019-05
5. Logic against ghosts;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08