VCC swMATH ID: 7220 Software Authors: Cohen, Ernie; Dahlweid, Markus; Hillebrand, Mark; Leinenbach, Dirk; Moskal, Michał; Santen, Thomas; Schulte, Wolfram; Tobies, Stephan 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; Dafny; VeriFast; Why3; Spec#; Coq; Isabelle/HOL; KRAKATOA; Caduceus; Frama-C; ESC/Java; JML; Eiffel; WhyML; SIMPLIFY; cvc3; seL4; Toolchain; Viper Cited in: 64 Documents all top 5 Cited by 134 Authors 7 Leino, K. Rustan M. 5 Böhme, Sascha 3 Appel, Andrew W. 3 Banerjee, Anindya 3 Blanchette, Jasmin Christian 3 Müller, Peter 3 Schaefer, Ina 3 Thüm, Thomas 2 Beringer, Lennart 2 Bjørner, Nikolaj S. 2 Garg, Pranav 2 Jacobs, Bart 2 Klein, Gerwin 2 Madhusudan, Parthasarathy 2 Marché, Claude 2 Mehlhorn, Kurt 2 Moskal, Michał 2 Moy, Yannick 2 Naumann, David A. 2 Neider, Daniel 2 Paulson, Lawrence Charles 2 Piessens, Frank 2 Potanin, Alex 2 Roşu, Grigore 2 Runge, Tobias 2 Saha, Shambwaditya 1 Alkassar, Eyad 1 Amighi, Afshin 1 Andronick, June 1 Anureev, Igor’ Sergeevich 1 Baranowski, Marek 1 Barthe, Gilles 1 Besson, Frédéric 1 Betarte, Gustavo 1 Bhargavan, Karthikeyan 1 Billing, Nelson 1 Blazy, Sandrine 1 Blom, Stefan 1 Bordis, Tabea 1 Brieger, Marvin 1 Campo, Juan Diego 1 Chechik, Marsha 1 Ciobâcă, Ştefan 1 Cohen, Ernie 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 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 Khoroshilov, A. V. 1 Knüppel, Alexander 1 Kobayashi, Naoki 1 Krebbers, Robbert 1 Kreiker, Jörg 1 Křena, Bohuslav 1 Kuncak, Viktor 1 Lahiri, Shuvendu Kumar 1 Leavens, Gary T. 1 Lucio, Paqui 1 Luna, Carlos 1 Malkis, Alexander 1 Mandrykin, M. U. 1 Mar’yasov, Il’ya 1 Matsushita, Yusuke 1 McConnell, Ross M. 1 Meier, Severin 1 Menghi, Claudio 1 Mitsch, Stefan 1 Moore, J Strother 1 Mostowski, Wojciech I. 1 Näher, Stefan 1 Nepomniaschy, Valery 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. ...and 34 more Authors all top 5 Cited in 14 Serials 8 Journal of Automated Reasoning 3 Formal Aspects of Computing 3 Formal Methods in System Design 3 Logical Methods in Computer Science 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 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 64 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 2 Information and communication theory, circuits (94-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year