Author:
Jacobs Bart,Vogels Frédéric,Piessens Frank
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
18 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. Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking;Scientific Annals of Computer Science;2024
4. Engineering a Formally Verified Automated Bug Finder;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
5. Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15