On modularity in reactive control architectures, with an application to formal verification.

Oliver Biggar Mohammad Zamani Iman Shames

Published in: CoRR (2020)

Keyphrases

formal verification
model checking
symbolic model checking
model checker
bounded model checking
control system
automated verification
real time
control method
program slicing
temporal logic
control strategy