Flexible SAT-based framework for incremental bounded upgrade checking

International Journal on Software Tools for Technology Transfer - Software undergoes a myriad of minor changes along its lifecycle. Each evolved transformation of a program is expected to preserve...     

The landing gear case study: challenges and experiments

International Journal on Software Tools for Technology Transfer -     

Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety

International Journal on Software Tools for Technology Transfer -     

Spatial logics and model checking for medical imaging

International Journal on Software Tools for Technology Transfer - Recent research on spatial and spatio-temporal model checking provides novel image analysis methodologies, rooted in logical...     

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019

International Journal on Software Tools for Technology Transfer - Automated techniques and tools for the construction and analysis of systems are inevitable to manage the complexity of the current...     

A greedy particle swarm optimization (GPSO) algorithm for testing real-world smart card applications

International Journal on Software Tools for Technology Transfer - Software testing continues to be regarded as a necessary and critical step in the software development life cycle. Among the...     

On methods and tools for rigorous system design

International Journal on Software Tools for Technology Transfer - Full a posteriori verification of the correctness of modern software systems is practically infeasible due to the sheer complexity...     

Introduction to the special issue for SPIN 2019

International Journal on Software Tools for Technology Transfer - This short introduction presents the selected papers from SPIN 2019.     

Formal methods and tools for industrial critical systems

International Journal on Software Tools for Technology Transfer - Formal methods and tools have become well established and widely applied to ensure the correctness of fundamental components of...     

Formal methods and tools for industrial critical systems

International Journal on Software Tools for Technology Transfer - Formal methods and tools have become well established and widely applied to ensure the correctness of fundamental components of...     

An integrated specification and verification technique for highly concurrent data structures

International Journal on Software Tools for Technology Transfer - We present a technique for automatically verifying safety properties of concurrent programs, in particular programs that rely on...     

Introduction to the special issue of the 19th International Conference on Runtime Verification

International Journal on Software Tools for Technology Transfer -     

Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns

International Journal on Software Tools for Technology Transfer - We present an approach to analyze the safety of asynchronous, independent, non-deterministic, turn-to-bearing horizontal maneuvers...     

Preface

International Journal on Software Tools for Technology Transfer -     

Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture

International Journal on Software Tools for Technology Transfer - Static worst-case timing analyses compute safe timing bounds of applications running in real-time systems. These bounds are...     

High-level frameworks for the specification and verification of scheduling problems

International Journal on Software Tools for Technology Transfer - Over the years, schedulability of Cyber-Physical Systems (CPS) has mainly been performed by analytical methods. These techniques...     

Introduction to the Special Issue devoted to SPIN 2018

International Journal on Software Tools for Technology Transfer -     

Editorial

International Journal on Software Tools for Technology Transfer -     

Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems

International Journal on Software Tools for Technology Transfer - We present a model-based design approach toward correct-by-construction implementations of reactive streaming software for...     

Greedy pebbling for proof space compression

International Journal on Software Tools for Technology Transfer - Automated reasoning tools for the verification and synthesis of software often produce proofs to allow independent certification of...