Model Checking Software in Cyberphysical Systems

Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah. Model Checking Software in Cyberphysical Systems. In 44th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2020, Madrid, Spain, July 13-17, 2020. pages 1017-1026, IEEE, 2020. [doi]

Abstract

Abstract is missing.