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.

https://link.springer.com/journal/10009

3 references