Seq

Sequence

Asig

Automata

Traces

RefMappings

RefCorrectness

Simulations

SimCorrectness

CompoExecs

CompoScheds

ShortExecutions

CompoTraces

Compositionality

Deadlock

IOA

Pred

TL

TLS

LiveIOA

Abstraction