Blogs sur: Abstract Interpretation

Security analysis

yoric wrote 1 year ago: A few weeks ago, I promised I would tell you more about ExtraPol, my current research project. Well, … more →

Mots-clefs : Informatique - Computer Science, Recherche / Research, Sûreté / Security, Compilation, compiler, Debug, Dependent Types, dynamic analysis, IO