This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
International Journal on Software Tools for Technology Transfer (STTT)
A conference, workshop or journal: the thing that recurs, across all its years.
A journal about tools rather than only techniques — verification and analysis tools, their engineering, and what happens when they meet industrial systems. Closely tied to the TACAS and ISoLA communities.
3 references
Verifying OpenJDK's LinkedList using KeY (extended paper)
Hans-Dieter A. Hiep and others (2022) · International Journal on Software Tools for Technology Transfer · Springer
Extending a brainiac prover to lambda-free higher-order logic
Petar Vukmirović and others (2022) · International Journal on Software Tools for Technology Transfer
Witnessing the elimination of magic wands
Stefan Blom and others (2015) · International Journal on Software Tools for Technology Transfer · Springer