Automated Safety Analysis for Domain-Specific Languages


Critical systems must be shown to be acceptably safe and secure to deploy and use in their environment. But the size, scale, heterogeneity, and distributed nature of these increasingly complex systems makes them difficult to verify and analyse. Additionally, domain experts use a variety of languages to model and build their systems. We present an automated… (More)


6 Figures and Tables

Slides referencing similar topics