Local and Compositional Reasoning for Optimized Reactive Systems.

Mitesh Jain Panagiotis Manolios

Published in: CAV (1) (2019)

Keyphrases

reactive systems
model checking
temporal logic
formal methods
knowledge base
real time systems
information flow
knowledge representation
petri net
state machines
control flow
reasoning process
knowledge acquisition
case study
artificial intelligence
finite state machines
real time