Formal verification of hyperproperties for control systems.

Mahathi Anand Vishnu Murali Ashutosh Trivedi Majid Zamani

Published in: CAADCPS@CPSIoTWeek (2021)

Keyphrases

formal verification
control system
model checking
model checker
bounded model checking
automated verification
closed loop
symbolic model checking
industrial automation
control law
program slicing
real time
functional verification
control strategy
domain independent
fuzzy logic
state space