1 paper · 1 filter
Max Barth, Marie-Christine Jakobs
Automatic software verification is a valuable means for software quality assurance. However, automatic verification and in particular software model checking can be time-consuming,…