MeTRiD

MeTRiD 2019 with ETAPS 2019

MeTRiD 2019 is the second edition of the MeTRiD international workshop focusing on the theoretical foundations, tools and applications of the Rigorous System Design (RSD) approach. 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 consist ...