Unrealizable Cores for Reactive Systems Specifications.

Shahar Maoz Rafi Shalom

Published in: CoRR (2021)

Keyphrases

reactive systems
model checking
information flow
temporal logic
petri net
control flow
transition systems
formal methods
expert systems
data flow
formal specification
business processes
high level
case study
machine learning
databases
database