Author:
Greenaway David,Andronick June,Klein Gerwin
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Alkassar, E., Hillebrand, M., Leinenbach, D., Schirmer, N., Starostin, A., Tsyban, A.: Balancing the load — leveraging a semantics stack for systems verification. JAR: Special Issue Operat. Syst. 42(2-4), 389–454 (2009)
2. Lecture Notes in Computer Science;E. Alkassar,2010
3. Lecture Notes in Computer Science;D. Cock,2008
4. Lecture Notes in Computer Science;E. Cohen,2009
5. The Frama-C platform (2008), http://www.frama-c.cea.fr/
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Teaching Formal Methods in Application Domains;Lecture Notes in Computer Science;2024
2. A Software Security Testing Model for Autonomous Systems;2023 10th International Conference on Dependable Systems and Their Applications (DSA);2023-08-10
3. Context Specification Language for Formally Verifying Consent Properties on Models and Code;Tests and Proofs;2023
4. Generation of C++ Code from Isabelle/HOL Specification;International Journal of Software Engineering and Knowledge Engineering;2022-07
5. Overcoming restraint: composing verification of foreign functions with cogent;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11