Module dev.civl.mc

Package dev.civl.mc.predicate.IF

Interface PotentialDeadlock

All Superinterfaces:

CIVLStatePredicate, dev.civl.gmc.StatePredicateIF<State>

public interface PotentialDeadlock
extends CIVLStatePredicate

An potential deadlock occurs if all of the following hold:

1. not every process has terminated
2. the only enabled transitions are sends for which there is no matching receive

Method Summary

Methods inherited from interface dev.civl.mc.predicate.IF.CIVLStatePredicate

getUnreportedViolation, getViolation, isAndPredicate

Methods inherited from interface dev.civl.gmc.StatePredicateIF

explanation, holdsAt