Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems

Khaled, Mahmoud and Zamani, Majid (2021): Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems. In: IEEE Design & Test, Vol. 38, No. 5: pp. 25-34

Abstract

Editor's notes: Controller synthesis using formal specifications has shown considerable promise in recent years. However, it is computationally very expensive. This article shows how cloud computing can come to the rescue. -Samarjit Chakraborty, University of North Carolina at Chapel Hill

• Item Type: Journal article
• Faculties: Mathematics, Computer Science and Statistics > Computer Science
• Subjects: 000 Computer science, information and general works > 004 Data processing computer science
• ISSN: 2168-2356
• Language: English