| mbse |
Description |
Our aim is to investigate sound approaches to software engineering, in which software
developers create models of system design that can be verified automatically against
their requirements. We have focused on model based security engineering and automated
support for this, but our work generalises to wider mission-critical systems development,
for which we have demonstrated techniques that verify automatically a system implementation
against its design models.
Contact: Jan Jürjens |
