VCC: A Practical System for Verifying Concurrent C
By Ernie Cohen, M. Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michał Moskal, T. Santen, Wolfram Schulte, Stephan Tobies. International Conference on Theorem Proving in Higher Order Logics, 2009
653 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computational Theory and Mathematics
View Paper: https://www.semanticscholar.org/paper/f4395aad099d9f2510b4dae13de46fada78be722
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Amit Vasudevan
- Jorge A. Navas
- Abhik Roychoudhury
- Temesghen Kahsai
- Petros Maniatis
- Anvesh Komuravelli
- Sergey Mechtaev
- Arie Gurfinkel
In Computational Theory and Mathematics
- Jorge A. Navas
- Abhik Roychoudhury
- Temesghen Kahsai
- Anvesh Komuravelli
- Sergey Mechtaev
- Arie Gurfinkel
- Anupam Datta
- Jooyong Yi
Citations in the corpus
- The SeaHorn Verification Framework (2015, background): “There is a large number of tools with different capabilities and trade-offs [6,8,9,15–18,20,42].”
- DirectFix: Looking for Simple Program Repairs (2015, methodology): “Test suite VCC, trace formula RC Buggy .”
- überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor (2016, methodology): “This leads to complex invariants due to interdependencies; only 20% of the hypervisor code-base has been verified [16].”