Error Trace Analysis
( please enable JS to see everything on the website )
Home
Thesis Proposal
Introduction
Related work
Contributions
Preliminaries
Formal Setting
Aberrant Trace Elements
Finding faulty statements in an error trace
Error traces with branches
Call and Returns
Unvalidated Input Detection
Unvalidated input detection in Ultimate
Over-approximated statements
Angelic Verification
Evaluation
Real World Examples
svcomp
Implementation
Conclusion
Future Work
PDF Doc
Related topics in software verification
Issues
Archives
© 2018
Numair Mansur
