[Max-Planck-Gesellshaft] [MPI-SWS]

PL/Verification @ MPI-SWS


PL/Verification research at MPI-SWS focuses on the principles of programming languages, on their design and implementation, and on foundational techniques and practical tools for the analysis, testing, and verification of programs against their correctness specifications. Recent research has focused on techniques for verifying compilers and other critical software, verification and testing tools for concurrent systems, and the design of modular programming languages.


Imprint | Data Protection Valid XHTML 1.0 Strict Valid CSS!