Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Paperback)

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.