This project will address two fundamental challenges for the implementation of the Rigorous System Design approach to general-purpose software: 1) obtaining behavioural models of the coordinated software entities and 2) detecting the deviations between these models and the corresponding executable code in the face of software evolution.
![](https://i0.wp.com/www.bliudze.me/simon/wp-content/uploads/2020/11/LarisaSafina.jpg?resize=291%2C300&ssl=1)
Larisa Safina is working on this project
Read more