@inproceedings{filliatre:inria-00270820, TITLE = {{The Why/Krakatoa/Caduceus platform for deductive program verification}}, AUTHOR = {Filli{\^a}tre, Jean-Christophe and March{\'e}, Claude}, URL = {https://inria.hal.science/inria-00270820}, BOOKTITLE = {{19th International Conference on Computer Aided Verification}}, ADDRESS = {Berlin, Germany}, EDITOR = {Werner Damm and Holger Hermanns}, SERIES = {Lecture Notes in Computer Science}, YEAR = {2007}, MONTH = Jul, PDF = {https://inria.hal.science/inria-00270820/file/cav.pdf}, HAL_ID = {inria-00270820}, HAL_VERSION = {v1}, }