1. Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021

   • Peter Gjøl Jensen
   • Thomas Neele

   General Open access 17 February 2023 Pages: 129 - 131

2. Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra

   • Daniela Kaufmann
   • Armin Biere

   General Open access 11 January 2023 Pages: 133 - 144

   

3. SyReNN: A tool for analyzing deep neural networks

   • Matthew Sotoudeh
   • Zhe Tao
   • Aditya V. Thakur

   General 15 February 2023 Pages: 145 - 165

   

4. Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML

   • Yong Kiam Tan
   • Marijn J. H. Heule
   • Magnus O. Myreen

   General Open access 27 February 2023 Pages: 167 - 184

   

5. Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY

   • Rosa Abbasi
   • Jonas Schiffl
   • Wolfgang Ahrendt

   General Open access 08 March 2023 Pages: 185 - 204

   

6. On the road with RTLola

   • Sebastian Biewer
   • Bernd Finkbeiner
   • Maximilian Schwenger

   General Open access 30 January 2023 Pages: 205 - 218

   

7. Algorithm selection for SMT

   • Joseph Scott
   • Aina Niemetz
   • Vijay Ganesh

   General 15 February 2023 Pages: 219 - 239