Absence of RunTime Errors (AoRTE)

[Google Scholar]

Notes: extended static checking, SV competition

todo:

BLAST verifier, Extended static checking (ESC), Software Verification Competition (SV-COMP)