×

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; HOL-Boogie; ACL2; Isabelle; Frama-C; Dafny; VeriFast
Referenced in: 53 Publications
all top 5

Referenced 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

Referencing Publications by Year