Formal Methods in Outer Space
portes grátis
Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Bartocci, Ezio; Leucker, Martin; Falcone, Ylies
Springer Nature Switzerland AG
09/2021
193
Mole
Inglês
9783030873479
15 a 20 dias
326
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;computer programming;computer systems;distributed computer systems;distributed systems;embedded systems;engineering;formal languages;formal logic;formal methods;linguistics;mathematics;model checking;parallel processing systems;program compilers;software design;software engineering
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;computer programming;computer systems;distributed computer systems;distributed systems;embedded systems;engineering;formal languages;formal logic;formal methods;linguistics;mathematics;model checking;parallel processing systems;program compilers;software design;software engineering
