Formal Methods in Cyberphysical Systems
James Bret Michael, Doron Drusinsky, Duminda Wijesekera · Computer · 2021
To improve the state-of-theart practice of applying formal methods to cyberphysical systems, we briefly discuss the evolution of these methods and also summarize four research efforts to close the current capability gaps in their application.