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; Spec#; VeriFast; Isabelle/HOL; KRAKATOA; Caduceus; ESC/Java; Frama-C; SIMPLIFY; WhyML; cvc3; seL4; Eiffel; ACSL; SMT-LIB; JML Cited in: 59 Publications all top 5 Cited by 131 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 Groves, Lindsay J. 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 Pearce, David J. 1 Petersen, Rasmus Lerchedahl 1 Podelski, Andreas 1 Popescu, Andrei 1 Rakamarić, Zvonimir 1 Rizkallah, Christine 1 Rumreich, Laine 1 Saha, Shambwaditya ...and 31 more Authors all top 5 Cited in 14 Serials 8 Journal of Automated Reasoning 4 Formal Methods in System Design 3 Formal Aspects of Computing 3 Journal of Logical and Algebraic Methods in Programming 2 Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science 2 Logical Methods in Computer Science 1 ACM Computing Surveys 1 International Journal of General Systems 1 Programming and Computer Software 1 Journal of Symbolic Computation 1 Annals of Mathematics and Artificial Intelligence 1 Journal of the ACM 1 ACM Transactions on Computational Logic 1 Computer Science Review Cited in 4 Fields 58 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 2 Information and communication theory, circuits (94-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year