Formal Methods in Outer Space

Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Häftad, Engelska, 2021

Av Ezio Bartocci, Yliès Falcone, Martin Leucker, Ylies Falcone, Martin Falcone, Yliès

809 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award, and the ASE 2014 and ASE 2016 Most Influential Paper awards.

Produktinformation

Utgivningsdatum2021-09-28
Mått155 x 235 x 12 mm
Vikt324 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor193
FörlagSpringer Nature Switzerland AG
ISBN9783030873479

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Hårdvara inom Data och it
Artificiell intelligens inom Data och it

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.