Issue 2/2021
Content (6 Articles)
Open Access
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
TacticToe: Learning to Prove with Tactics
Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish
Open Access
Machine Learning Guidance for Connection Tableaux
Michael Färber, Cezary Kaliszyk, Josef Urban
Open Access
CoCon: A Conference Management System with Formally Verified Document Confidentiality
Andrei Popescu, Peter Lammich, Ping Hou