Incremental design-space model checking via reusable reachable state approximations Rohit DurejaKristin Y. Rozier OriginalPaper 05 February 2022 Pages: 375 - 398
Debug-localize-repair: a symbiotic construction for heap manipulations Sahil VermaSubhajit Roy OriginalPaper 08 February 2022 Pages: 399 - 439
Parameterized verification of leader/follower systems via first-order temporal logic G. KourtisC. DixonA. Lisitsa OriginalPaper Open access 15 March 2022 Pages: 440 - 468
Special Issue on Syntax-Guided Synthesis Preface Dana FismanRishabh SinghArmando Solar-Lezama EditorialNotes 28 February 2022 Pages: 469 - 470