Software Verification Lab

Research Group

The System Verification Lab (SVL) is part of the Leiden Intitute for Advanced Computer Science (LIACS) and a partner in the Applied Quantum Algorithms (aQa) initiative.

SVL develops verification techniques for the engineering of safe and secure systems. Verification is crucial to ensure the correctness of digital systems. However, it requires rigorous and formal automate reasoning algortihms, which need ample computing resources. SVL tackles this challenge by using the resources of parallel and quantum computings. We implement the resulting algorithms and data structures in various software tools.