Welcome to the formal method group at the Deutsches Forschungszentrum für Künstliche Intelligenz Saarbrücken, Germany.
![[DFKI]](/icon/navigation/dfkib.gif){kind=icon}
![[lab]](/icon/navigation/lab.gif){kind=icon}
![[up]](/icon/navigation/nur_up.gif){kind=icon}
![[search]](/icon/navigation/find.gif){kind=icon}
![[server info]](/icon/navigation/server_info.gif){kind=icon}