Change‐aware model checking for evolving concurrent programs based on Program Dependence Net

Summary Concurrent software needs to be maintained over time, and the differences between continuous versions tend to be localized. The expense that simply reapplying standard model checking techniques to the new version as they evolve may be infeasible. The existing methods reuse partial state‐spac... View More