Computer Aided Verification. Part II

Abstract

Model Checking Automata Tutor v3, Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization, RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft, Software Verification Code2Inv: A Deep Learning Framework for Program Verification. Stochastic Systems Maximum Causal Entropy Specification Inference from Demonstrations. Certifying Certainty and Uncertainty in Approximate Membership Query Structures. Synthesis Good-Enough Synthesis, Synthesizing JIT Compilers for In-Kernel DSLs, Program Synthesis Using Deduction-Guided Reinforcement Learning.