International Journal on Software Tools for Technology Transfer
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.
To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking
Formal Methods for Transport Systems
Somsak Vanit-Anunchai (June 2018)
- Journal Title
- International Journal on Software Tools for Technology Transfer
- Volume 1 / 1997 - Volume 20 / 2018
- Print ISSN
- Online ISSN
- Springer Berlin Heidelberg
- Additional Links
- Industry Sectors
To view the rest of this content please follow the download PDF link above.