Skip to main content
Top

International Journal on Software Tools for Technology Transfer

Issue 2/2023

TACAS 2021

Content (7 Articles)

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

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner