Software and Computational Systems Lab

The Chair for Software and Computational Systems at LMU Munich represents the area of development, verification, and maintenance of software systems. Our research focuses on models, methods, and algorithms for the efficient analysis of software systems.

关键词：Universität München LMU Munich IFI Informatik Software Systems Verification Software Model Checking