Search Results - Software/Program Verification—Assertion checkers

An eclipse plug-in for model checking by Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.

“… We provide a verification interface for practical solutions for some typical program analysis problems - assertion checking, reachability analysis, dead code analysis, and test generation - directly on the source code…”
Get full text