Caduceus swMATH ID: 4625 Software Authors: Jean-Christophe Filliâtre, Claude Marché Description: Caduceus used to be a verification tool for C programs built on top of the Why tool, in the ProVal team, by Jean-Christophe Filliâtre and Claude Marché. Caduceus is now obsolete and fully subsumed by Frama-C. Homepage: http://caduceus.lri.fr/ Related Software: KRAKATOA; Why3; Boogie; z3; Spec#; Coq; JML; VCC; ESC/Java; Isabelle/HOL; SIMPLIFY; cvc3; ACSL; ASTREE; ACL2; HOL-Boogie; Frama-C; BLAST; Isabelle; Dafny Cited in: 53 Publications all top 5 Cited by 105 Authors 7 Marché, Claude 5 Boldo, Sylvie 4 Filliâtre, Jean-Christophe 4 Leino, K. Rustan M. 4 Moy, Yannick 3 Böhme, Sascha 3 Melquiond, Guillaume 3 Wolff, Burkhart 2 Barbosa, Manuel 2 Clément, François 2 Mayero, Micaela 2 Pinto, Jorge Sousa 2 Roşu, Grigore 2 Schulte, Wolfram 2 Siegel, Stephen F. 2 Weis, Pierre 2 Wies, Thomas 2 Zirkel, Timothy K. 1 Abed, Sa’ed 1 Ahrendt, Wolfgang 1 Aït Mohamed, Otmane 1 Alkassar, Eyad 1 Andronick, June 1 Aspinall, David 1 Ayad, Ali 1 Bacelar Almeida, José 1 Banerjee, Anindya 1 Beringer, Lennart 1 Boulmé, Sylvain 1 Brumley, Billy Bob 1 Bubel, Richard 1 Bulwahn, Lukas 1 Chalin, Patrice 1 Chetali, Boutheina 1 Christakis, Maria 1 Collavizza, Hélène 1 Couchot, Jean-François 1 Dailler, Sylvain 1 Daum, Matthias 1 Dörrenbächer, Jan 1 Dross, Claire 1 Dylla, Maximilian 1 Eilers, Marco 1 Ellison, Chucky 1 Erkök, Levent 1 Fähndrich, Manuel 1 Frade, Maria João 1 Furia, Carlo Alberto 1 Gast, Holger 1 Giorgino, Mathieu 1 Haftmann, Florian 1 Hähnle, Reiner 1 Hauzar, David 1 Hills, Mark 1 Hoenicke, Jochen 1 Hofmann, Martin 1 Jacobs, Bart 1 James, Perry R. 1 Kaliszyk, Cezary 1 Knüppel, Alexander 1 Krauss, Alexander 1 Kuncak, Viktor 1 Lescuyer, Stéphane 1 Logozzo, Francesco 1 Loidl, Hans-Wolfgang 1 Madlener, Ken 1 Matthes, Ralph 1 McCreight, Andrew 1 Mehlhorn, Kurt 1 Meier, Severin 1 Meyer, Bertrand 1 Momigliano, Alberto 1 Moskal, Michał 1 Müller, Peter 1 Naumann, David A. 1 Nguyen, Thi Minh Tuyen 1 Page, Dan 1 Pantel, Marc 1 Pardylla, Carsten Immanuel 1 Paulin-Mohring, Christine 1 Piessens, Frank 1 Piskac, Ruzica 1 Podelski, Andreas 1 Pulina, Luca 1 Ranise, Silvio 1 Ringeissen, Christophe 1 Rizkallah, Christine 1 Rueher, Michel 1 Schaefer, Ina 1 Schäf, Martin 1 Strecker, Martin 1 Tacchella, Armando 1 Tafat, Asma 1 Tamalet, Alejandro 1 Thüm, Thomas 1 Totla, Nishant 1 Tran, Duc-Khanh 1 Ulbrich, Mattias 1 Urban, Josef 1 Van Hentenryck, Pascal ...and 5 more Authors all top 5 Cited in 12 Serials 7 Journal of Automated Reasoning 3 Mathematics in Computer Science 2 Science of Computer Programming 2 Formal Methods in System Design 1 Computers & Mathematics with Applications 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 Information and Computation 1 AI Communications 1 Constraints 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 6 Fields 52 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 7 Numerical analysis (65-XX) 3 Information and communication theory, circuits (94-XX) 2 Partial differential equations (35-XX) 1 Combinatorics (05-XX) Citations by Year