Constraint-Based Deadlock Checking of High-Level Specifications

Stefan Hallerstede, Michael Leuschel

Establishing the absence of deadlocks is important in many applications of formal methods. The use of model checking for finding deadlocks in formal models is often limited. In thi…