University of Lübeck Login

Institut für Softwaretechnik und Programmiersprachen

Home
Research
Groups
Model Checking

a diagram of a number of circles and a number of dots

Model Checking

Research Group

Group Information

Members

0 members

Projects

0 projects

Navigation

Contact Research Staff News

Contact

Institute for Software Engineering and Programming Languages

Universität zu Lübeck – Building MFC II

Maria-Goeppert-Str. 3

D-23562 Lübeck

Tel: +49 451 3101-6500

E-Mail: office@isp.uni-luebeck.de

© 2026 Institute for Software Engineering and Programming Languages, Universität zu Lübeck

Impressum•office@isp.uni-luebeck.de