ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

The intrinsic concurrent nature of interactions among components of modern software systems is the root cause of their sheer complexity, making complete a posteriori verification practically infeasible. An alternative approach consists in ensuring correctness by construction.

The term Rigorous System Design (RSD) denotes the design approach that is based on a formal, accountable and iterative process for deriving trustworthy and optimised implementations from models of application software, its execution platform and its external environment. Ideally, a system implementation is derived from a set of appropriate high-level models by applying a sequence of semantics-preserving transformations.

The ambition of MeTRiD is to promote the use of formal methods, in general, and the RSD approach, in particular, in the industrial applications and, reciprocally, bring the attention of the academic community to such industrial applications in order to develop realistic case-studies and guide the evolution of tools.

Call for Papers

This is a placeholder text.

You can expect more information about the call for papers soon.

This page will have information about the submission and selection process and list the important dates.