Unrealizable Cores for Reactive Systems Specifications: Artifact.

Shahar Maoz Rafi Shalom

Published in: ICSE (Companion Volume) (2021)

Keyphrases

reactive systems
model checking
information flow
temporal logic
formal methods
petri net
control flow
transition systems
real time systems
state machines
databases
multi core processors
case study
user interface
belief revision
data flow