org.kiama
A machine has performed an inconsistent update in the sense that a step has updated an item of state to two different values.
A deterministic abstract state machine defined by its main rule and called name.
name