Automatic Abstraction for Verification of Cyber-Physical Systems
Verification of cyber-physical systems is complicated by both their heterogeneous nature as well as their sheer complexity. Cyber-physical systems include hardware, software, and physical environment, so a formal model must integrate all of these concerns.
Submitted by Hao Zheng
on
Verification of cyber-physical systems is complicated by both their heterogeneous nature as well as their sheer complexity. Cyber-physical systems include hardware, software, and physical environment, so a formal model must integrate all of these concerns.
Submitted by Hao Zheng
on