InterAVT 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
All Editions
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

InterAVT 2019 with ETAPS 2019

Modern verification and testing techniques are highly relevant for industrial software- intensive systems. Recent technological trends (e.g., the new dominating role of software in traditional domains like automotive and aerospace, the arrival of autonomous and “smart” systems in everyday life) only increase the need for industrial-scale robust approaches. Nevertheless, there are still many barriers that hinder ...