[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.

People

Faculty

Postdocs

External

Students

Software

Former members

 
Legal notice and imprint Valid XHTML 1.0 Strict Valid CSS!