CAVEAT: A tool for software validation

Proceedings of the 2002 International Conference on Dependable Systems and Networks

Volumn , Issue , 2002, Pages 537-

  Baudin, P ^a   Pacalet, A ^a   Raguideau, J ^a   Schoen, D ^a   Williams, N ^a  

^a CEA SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

HOARE LOGIC; SOFTWARE PACKAGE CAVEAT; SOFTWARE VALIDATION; STATIC ANALYSIS;

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE SELECTION AND EVALUATION; INDUSTRIAL APPLICATIONS; ITERATIVE METHODS; LOGIC PROGRAMMING; TECHNOLOGICAL FORECASTING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0036926057     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2002.1028953     Document Type: Conference Paper

References (0)