Software and Computational Systems Lab

📖 资源简介

慕尼黑大学（LMU Munich）的软件与计算系统主席代表了软件系统的开发、验证和维护领域。我们的研究重点是用于高效分析软件系统的模型、方法和算法。

🏷️ 标签

Universität München LMU Munich IFI Informatik Software Systems Verification Software Model Checking