- Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt. Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. STTT, 25(2):185-204, April 2023.
- Peter Gjøl Jensen, Thomas Neele. Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021. STTT, 25(2):129-131, April 2023.
- Thom S. Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen 0001. Decision-making under uncertainty: beyond probabilities. STTT, 25(3):375-391, June 2023.
- Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault. Go2Pins: a framework for the LTL verification of Go programs (extended version). STTT, 25(1):77-94, February 2023.
- Madoda Nxumalo, Nils Timm, Stefan Gruner. An evaluation of approaches to model checking real-time task schedulability analysis. STTT, 25(1):115-128, February 2023.
- Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger. On the road with RTLola. STTT, 25(2):205-218, April 2023.
- Muhammad Usman 0024, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu. An overview of structural coverage metrics for testing neural networks. STTT, 25(3):393-405, June 2023.
- Daniela Kaufmann, Armin Biere. Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra. STTT, 25(2):133-144, April 2023.
- Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu. First three years of the international verification of neural networks competition (VNN-COMP). STTT, 25(3):329-339, June 2023.
- Sascha Lehmann, Sibylle Schupp. Bounded DBM-based clock state construction for timed automata in Uppaal. STTT, 25(1):19-47, February 2023.