The top documents tagged [automated verification]
PLDI 2010: Safe to the Last Instruction
2.000 views
LinkedIn Powerpoint
169 views
Compress Verification Manual
348 views