Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Verifikation und formale quantitative Analyse
Beschreibung DE Die Forschungsgruppe Verifikation und form
Die Forschungsgruppe Verifikation und formale quantitative Analyse beschäftigt sich mit der Modellierung, Spezifikation and Verifikation reaktiver Systeme, der quantitativen Analyse stochastischer Systeme sowie Probabilistic Model Checking. Die weitere Forschung umfasst Koordinationssprachen, die Kompatibilität von Komponenten, temporale und modale Logiken, Automaten über unendlichen Strukturen, Spieltheorie und die Verifikation von Systemen mit unendlichem Zustandsraum.
von Systemen mit unendlichem Zustandsraum.  +
Beschreibung EN The research of the Verification and forma
The research of the Verification and formal quantitative Analysis group mainly focuses on modeling, specification and verification of reactive systems as well as quantitative analysis of stochastic systems and probabilistic model checking. Other areas of interest include coordination languages, compatibility of components, temporal and modal logics, automata over infinite structures, game theory and verification of infinite-state systems.
nd verification of infinite-state systems.  +
Bild Gruppenfoto-algi-2016-05.jpg  +
Forschungsgruppenleiter Christel Baier +
Kurzname CB  +
Name Verifikation und formale quantitative Analyse  +
Name EN Verification and formal quantitative Analysis  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse + , Verifikation und formale quantitative Analyse +
Kategorien Forschungsgruppe
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
27 Februar 2017 15:41:30  +
verstecke Attribute die hierhin verlinken 
Advanced Logics (WS2018) + , Christel Baier + , Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic + , Sascha Klüppelholz + , Lab Course "Modeling and Automated Verification" (SS2018) + , Project Group "Model Checking" (SS2018) + , QuantLA + , Seminar "Selected Topics in Logic and Verification" (SS2018) + , Theoretische Informatik und Logik (SS2018) + Forschungsgruppe
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.