Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
Authors (first, second and last of 5)

The International Journal on Software Tools for Technology Transfer (STTT) provides a forum discussing all aspects of tools that aid in the development of computer systems. In particular, it offers a tool-oriented link between academic research and industrial practice.
STTT publishes accessible papers that introduce researchers and practitioners to state-of-the-art tools and techniques. It channels comments, queries, and feedback on tools and papers to its Online Forum, publishing highlights electronically. It enables even non-experts to experiment with the integrated tools via the Electronic Tool Integration (ETI) platform. STTT addresses a heterogeneous audience, emphasizing clear, jargon-free exposition.
STTT focuses on three major technical themes: construction and analysis issues; practicality issues; and generic tool issues.
Avoid the most common mistakes and prepare your manuscript for journal editors.
Learn more