Tags

Simulation

PREfECT

Klee

Compositional semantics

Coordination

Real-time OS

Timed automata

Uppaal

TRUST

Lightkone