Department of Computer Science

Phd defence: Abstract dependency graphs for model verification

On Thursday, 15 December, Søren Enevoldsen will defend his thesis “Abstract Dependency Graphs for Model Verification”. All interested parties are welcome. After the defence, the Department of Computer Science will host a small reception in cluster 1. Registration is not necessary.

Time

15.12.2022 kl. 13.00 - 16.00

Description

Computational systems are ubiquitous nowadays and it is necessary that they operate as intended. Model verification is one technique to formally verify that our design satisfies the properties required of the system. One of the challenges of model verification is that the complexity of the systems modelled is subject to state-space explosion, rendering the system too large to represent in memory. On-the-fly techniques construct only the state space needed for verification and can therefore sometimes avoid using excessive memory.

This thesis focuses on extensions and improvements to the on-the-fly algorithms for the dependency graph framework. 

READ FULL ABSTRACT

Members of the assessment committee are

  • Professor Jaco van de Pol, Aarhus University
  • Doctor Radu Mateescu, Inria Grenoble (France)
  • Associate Professor Alvaro Torralba (Chairman), Aalborg University.

Supervisors: Professor Kim Guldstrand Larsen, Aalborg University. Co-supervisors: Professor Jiri Srba, Aalborg University and Associate Professor Arne Skou, Aalborg University.

Moderator Associate Professor Danny Bøgsted Poulsen.

Address

Room 0.2.13, Selma Lagerløfs Vej 300, 9220 Aalborg East

Department of Computer Science, Aalborg University

Selma Lagerlöfs Vej 300  ・ 9220 Aalborg East, Denmark 
Telephone: +45 9940 9940  ・ Mail: info@cs.aau.dk

Contact department management