3 citations · 3 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023
Klever: Verification Framework for Critical Industrial C Programs
Ilja Zakharov, Evgeny Novikov, Ilya Shchepetkov
Automatic software verification tools help to find hard-to-detect faults in programs checked against specified requirements non-interactively. Besides, they can prove program corre…
cs.SE2013★ 3 cited
Reusing Precisions for Efficient Regression Verification
Dirk Beyer, Stefan Löwe, Evgeny Novikov +2
Continuous testing during development is a well-established technique for software-quality assurance. Continuous model checking from revision to revision is not yet established as…