Unrealizable Cores for Reactive Systems Specifications.

Shahar Maoz Rafi Shalom

Published in: ICSE (2021)

Keyphrases

reactive systems
model checking
temporal logic
information flow
formal methods
control flow
petri net
transition systems
real time systems
error rate
state machines
finite state machines
knowledge acquisition
training data
multi core processors
case study
decision making