Jessie: An intermediate language for Java and C verification

PLPV'07: Proceedings of the 2007 Workshop on Programming Languages meets Program Verification

Volumn , Issue , 2007, Pages 1-2

  Marché, Claude ^a  

^a INRIA   (France)

Author keywords

Behavioral properties; Verification; Verification conditions generator

Indexed keywords

BEHAVIORAL PROPERTIES; VERIFICATION CONDITIONS GENERATORS;

CODES (SYMBOLS); VERIFICATION;

JAVA PROGRAMMING LANGUAGE;

EID: 38849108636     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1292597.1292598     Document Type: Conference Paper

References (1)

1. Filliâtre, J.-C. and Marché, C. (2007). The why/krakatoa/caduceus platform for deductive program verification. In Proceedings of the 19th International Conference on Computer Aided Verification, Lecture Notes in Computer Science, Berlin, Germany, Springer.