Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement

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,…