E-Book, Englisch, Band 13065, 193 Seiten, eBook
Bartocci / Falcone / Leucker Formal Methods in Outer Space
1. Auflage 2021
ISBN: 978-3-030-87348-6
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
E-Book, Englisch, Band 13065, 193 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-87348-6
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.