Abstract Interpretation - Framework for Verifying Software Correctness
19
1 bstract Interpretation Abstract Interpretation - Framework for Verifying Software Correctness Miloš Nováček Group of Programming Methodology ETH Zurich Miloš Nováček – Group of Programming Methodology
Abstract Interpretation - Framework for Verifying Software Correctness
Abstract Interpretation - Framework for Verifying Software Correctness. Milo š Nov áč ek Group of Programming Methodology ETH Zurich. Happened to all of us. Software verification. // PRE: true // POST: result ≥ 0 int abs( int n) { int result; if (n
Citation preview
PowerPoint Presentation
Abstract Interpretation - Framework for Verifying Software
CorrectnessMilo NovekGroup of Programming MethodologyETH ZurichMilo
Novek Group of Programming Methodology#Abstract
InterpretationHappened to all of usMilo Novek Group of Programming
Methodology
#Abstract InterpretationMilo Novek Group of Programming
Methodology
#Abstract InterpretationSoftware verification// PRE: true//
POST: result 0int abs(int n) { int result; if (n
