Verification and Enforcement of Safe Schedules for Concurrent Programs
Automated software verification can prove the correctness of a program with respect to a given specification and may be a valuable support in the difficult task of ensuring the quality of large software systems. However, the automated verification of concurrent software can be particularly chall...