Abstrakt. Vi presenterar Why/Krakatoa/Caduceus uppsättning verktyg för avdragsverifiering av Java och C källkod.
Plattformen Why/Krakatoa/Caduceus kan producera VC från kommenterade Java- och C-källkod REF.
The Why/Krakatoa/Caduceus platform for deductive program verification
{'venue': 'In CAV ’07', 'journal': None, 'mag_field_of_study': ['Computer Science']}