×

VCC

swMATH ID: 7220
Software Authors: Ernie Cohen, Markus Dahlweid, Mark Hillebrand, Dirk Leinenbach, Michał Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies
Description: VCC is a mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries to prove these annotations correct. If it succeeds, VCC promises that your program actually meets its specifications.
Homepage: http://vcc.codeplex.com/
Keywords: verifier; C
Related Software: z3; Boogie; Why3; Dafny; Coq; VeriFast; Spec#; Isabelle/HOL; KRAKATOA; Caduceus; ESC/Java; Frama-C; seL4; WhyML; SIMPLIFY; JML; cvc3; HOL-Boogie; Eiffel; ACSL
Referenced in: 58 Publications
all top 5

Referenced by 128 Authors

7 Leino, K. Rustan M.
5 Böhme, Sascha
3 Banerjee, Anindya
3 Blanchette, Jasmin Christian
2 Appel, Andrew W.
2 Bjørner, Nikolaj S.
2 Jacobs, Bart
2 Klein, Gerwin
2 Marché, Claude
2 Mehlhorn, Kurt
2 Moskal, Michał
2 Moy, Yannick
2 Müller, Peter
2 Naumann, David A.
2 Paulson, Lawrence Charles
2 Piessens, Frank
2 Roşu, Grigore
1 Alkassar, Eyad
1 Amighi, Afshin
1 Andronick, June
1 Anureev, Igor’ Sergeevich
1 Baranowski, Marek
1 Barthe, Gilles
1 Beringer, Lennart
1 Besson, Frédéric
1 Betarte, Gustavo
1 Bhargavan, Karthikeyan
1 Billing, Nelson
1 Blazy, Sandrine
1 Blom, Stefan
1 Campo, Juan Diego
1 Chechik, Marsha
1 Ciobâcă, Ştefan
1 Cohen, Ernie
1 Cook, Byron
1 da Rocha Pinto, Pedro
1 Dailler, Sylvain
1 Darabi, Saeed
1 Daum, Matthias
1 de Moura, Leonardo
1 Dinsdale-Young, Thomas
1 Dodds, Josiah
1 Eilers, Marco
1 Filliâtre, Jean-Christophe
1 Fournet, Cédric
1 Gardner, Philippa Anne
1 Garg, Pranav
1 Garzella, Jack J.
1 Ghezzi, Carlo
1 Giorgino, Mathieu
1 Gondelman, Léon
1 Gordon, Andrew D.
1 Greenaway, David
1 Hatcliff, John
1 Hauzar, David
1 He, Shaobo
1 Hoenicke, Jochen
1 Huisman, Marieke
1 Hussain, Akbar
1 Iordache, Viorel
1 Jacobs, Swen
1 Khazem, Kareem
1 Khoroshilov, A. V.
1 Knüppel, Alexander
1 Krebbers, Robbert
1 Kreiker, Jörg
1 Křena, Bohuslav
1 Kröning, Daniel
1 Kuncak, Viktor
1 Lahiri, Shuvendu Kumar
1 Leavens, Gary T.
1 Lucio, Paqui
1 Luna, Carlos
1 Madhusudan, Parthasarathy
1 Malkis, Alexander
1 Mandrykin, M. U.
1 Mar’yasov, Il’ya
1 McConnell, Ross M.
1 Meier, Severin
1 Menghi, Claudio
1 Moore, J Strother
1 Mostowski, Wojciech I.
1 Näher, Stefan
1 Neider, Daniel
1 Nepomnyashchy, V. A.
1 Nof, Yair
1 O’Hearn, Peter W.
1 Pardylla, Carsten Immanuel
1 Park, Daejun
1 Parkinson, Matthew J.
1 Paskevich, Andrei
1 Petersen, Rasmus Lerchedahl
1 Podelski, Andreas
1 Popescu, Andrei
1 Rakamarić, Zvonimir
1 Rizkallah, Christine
1 Rumreich, Laine
1 Saha, Shambwaditya
1 Schaefer, Ina
1 Schäf, Martin
...and 28 more Authors

Referencing Publications by Year