Cover Feature Guesta Editors' Introduction, Formal Methods in Cyberphysical Systems

17 USC 105 interim-entered record; under temporary embargo.To improve the state-of-the art 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.U.S. Government affiliation is unstated in article text