Transition System

{{fileException.toString()}}
{{tsException.toString()}}

Labeling Algorithm


{{phi.toString()}}
{{s.id}} {{getLabel(s, phi)}}
{{t.text}}

Formula

{{phiException.toString()}}