1. Utilizing parametric systems for detection of pipeline hazards

   • Lukáš Charvát
   • Aleš Smrčka
   • Tomáš Vojnar

   General 30 September 2020 Pages: 1 - 28

   

2. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019

   • Tomáš Vojnar
   • Lijun Zhang

   General 31 July 2021 Pages: 29 - 31

3. Verifying safety of synchronous fault-tolerant algorithms by bounded model checking

   • Ilina Stoilkovska
   • Igor Konnov
   • Florian Zuleger

   General 30 August 2021 Pages: 33 - 48

   

4. Extended abstract dependency graphs

   • Søren Enevoldsen
   • Kim Guldstrand Larsen
   • Jiří Srba

   General 07 August 2021 Pages: 49 - 65

   

5. Extending a brainiac prover to lambda-free higher-order logic

   • Petar Vukmirović
   • Jasmin Blanchette
   • Stephan Schulz

   General Open access 16 August 2021 Pages: 67 - 87

   

6. CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions

   • Junaid Babar
   • Gianfranco Ciardo
   • Andrew Miner

   General 02 February 2022 Pages: 89 - 109

   

7. Using linear algebra in decomposition of Farkas interpolants

   • Martin Blicha
   • Antti E. J. Hyvärinen
   • Natasha Sharygina

   General Open access 05 August 2021 Pages: 111 - 125