Ausgabe 2/2023
TACAS 2021
Inhalt (7 Artikel)
Open Access
General
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
Open Access
General
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
Daniela Kaufmann, Armin Biere
General
SyReNN: A tool for analyzing deep neural networks
Matthew Sotoudeh, Zhe Tao, Aditya V. Thakur
Open Access
General
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML
Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen
Open Access
General
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
Open Access
General
On the road with RTLola
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
General
Algorithm selection for SMT
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh