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

Khaled, Mahmoud und Zamani, Majid (2021): Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems. In: IEEE Design & Test, Bd. 38, Nr. 5: S. 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

• Dokumententyp: Zeitschriftenartikel
• Fakultät: Mathematik, Informatik und Statistik > Informatik
• Themengebiete: 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik
• ISSN: 2168-2356
• Sprache: Englisch