Sufficient preconditions for modular assertion checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4905 LNCS, Issue , 2008, Pages 188-202

  Moy, Yannick ^a,b,c  

^a ORANGE LABS   (France)

^b INRIA   (France)

^c UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MODULAR ASSERTION CHECKING; POINTER PROGRAMS; PROGRAM VERIFICATION; SAFETY CHECKING;

C (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; SECURITY OF DATA; STORAGE ALLOCATION (COMPUTER);

VERIFICATION;

EID: 40549116633     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78163-9_18     Document Type: Conference Paper

References (27)