|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Sofort lieferbar | Lieferzeit: Sofort lieferbar I
ISBN-13:
9783030873486
Veröffentl:
2021
Seiten:
193
Autor:
Ezio Bartocci
Serie:
13065, Lecture Notes in Computer Science Programming and Software Engineering
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
Beschreibung:
The book title reflects Klaus's main research and engineering focus throughout his career: formal methods, often applied at NASA. The contributions, which went through a peer-review process, cover a wide spectrum of the topics related to his scientific interests, including programming language design, static analysis, runtime verification, dynamic assurance, and automata learning.¿
The K Vision for the Future of Programming Language Design and Analysis.- Refining the Safety-Liveness Classification of Temporal Properties According to Realizability.- Domain Analysis & Description - Sorts, Types, Intents.- Dynamic interval analysis by abstract interpretation.- Runtime Verification: Passing on the Baton.- Hardware-Assisted Online Data Race Detection.- Comparing two methods for checking runtime properties.- Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems.- Collision-Free 3D Flocking Using the Distributed Simplex Architecture.- A Context-Free Symbiosis of Runtime Verification & Automata Learning.- Reverse Engineering through Automata Learning.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
