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
Feb 24, 2016
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
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
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
Related Documents
