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.