Lab for Automated Reasoning and Analysis LARA

Lecture 08: Convergence of Abstract Interpretation. Predicate Abstraction

References

Scala sources illustrating basic concepts of Abstract Interpretation:

 
sav10/lecture_08.txt · Last modified: 2010/04/20 11:55 by vkuncak
 
© EPFL 2018 - Legal notice