Tilbake til søkeresultatene


Towards New Techniques for Memory Efficient and Distributed Model Checking of Software

Tildelt: kr 52 000

Techniques for the engineering of reliable and fault-tolerant software is an important and timely research theme as society relies extensively on properly functioning IT-systems. Model checking has emerged as a prominent approach allowing software compone nts to be verified during development and prior to deployment. The central research challenges in model checking are closely linked to handling the complexity of real-world IT-systems. This project proposes three research questions to be initially explore d in the context of memory-efficient model checking. In addition, the project proposes a long term research direction within distributed model checking which exploits the research competences at both University Paris 13 and Bergen University College. A st rategic element of the proposed research visit is to initiate long-term research collaboration between the two involved research groups.