Message from the New Editor-in-Chief Jasmin Blanchette EditorialNotes 12 February 2021 Pages: 155 - 155
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration Dario CattaruzzaAlessandro AbateDaniel Kroening OriginalPaper Open access 29 May 2020 Pages: 157 - 203
Mechanisation of the AKS Algorithm Hing Lun ChanMichael Norrish OriginalPaper 02 September 2020 Pages: 205 - 256
TacticToe: Learning to Prove with Tactics Thibault GauthierCezary KaliszykMichael Norrish OriginalPaper 20 August 2020 Pages: 257 - 286
Machine Learning Guidance for Connection Tableaux Michael FärberCezary KaliszykJosef Urban OriginalPaper Open access 05 September 2020 Pages: 287 - 320
CoCon: A Conference Management System with Formally Verified Document Confidentiality Andrei PopescuPeter LammichPing Hou OriginalPaper Open access 16 July 2020 Pages: 321 - 356