Forschungsprojekte

Computing systems are getting ever more ubiquitous, making us dependant on their proper functioning. Therefore, we require that they are correct (i.e. they conform their intended behaviour), safe 8i.e. its operation does not have catastrophic consequences), reliable, available to provide the intended service, and secure 8i.e., no user without appropriate clearance can access or modify protected data).
Guarantees for such characteristics rely on rigid specification and analysis techniques for both the required system functionality as well as its behaviour. Formal methods provide a mathematical approach to model, understand, and analyze systems, especially at early development stages.
In this project we focus on three aspects of formal methods: specification, verification, and synthesis. We consider the study of both qualitative behaviour and quantitative behaviour (extended with probabilistic information). We aim to study formal methods in all their aspects: foundations (their mathematical and logical basis), algorithmic advances (the conceptual basis for software tool support) and practical considerations (tool construction and case studies).

11/2011

Drittmittel

international

http://

Nein

Nein

Nein

MEALS - Mobility between Europe and Argentina applying Logics to Systems

Computing systems are getting ever more ubiquitous, making us dependant on their proper functioning. Therefore, we require that they are correct (i.e. they conform their intended behaviour), safe 8i.e. its operation does not have catastrophic consequences), reliable, available to provide the intended service, and secure 8i.e., no user without appropriate clearance can access or modify protected data).
Guarantees for such characteristics rely on rigid specification and analysis techniques for both the required system functionality as well as its behaviour. Formal methods provide a mathematical approach to model, understand, and analyze systems, especially at early development stages.
In this project we focus on three aspects of formal methods: specification, verification, and synthesis. We consider the study of both qualitative behaviour and quantitative behaviour (extended with probabilistic information). We aim to study formal methods in all their aspects: foundations (their mathematical and logical basis), algorithmic advances (the conceptual basis for software tool support) and practical considerations (tool construction and case studies).

11/2011

Drittmittel

international

http://

Nein

Nein

Nein

MEALS - Mobility between Europe and Argentina applying Logics to Systems

Computing systems are getting ever more ubiquitous, making us dependant on their proper functioning. Therefore, we require that they are correct (i.e. they conform their intended behaviour), safe 8i.e. its operation does not have catastrophic consequences), reliable, available to provide the intended service, and secure 8i.e., no user without appropriate clearance can access or modify protected data).
Guarantees for such characteristics rely on rigid specification and analysis techniques for both the required system functionality as well as its behaviour. Formal methods provide a mathematical approach to model, understand, and analyze systems, especially at early development stages.
In this project we focus on three aspects of formal methods: specification, verification, and synthesis. We consider the study of both qualitative behaviour and quantitative behaviour (extended with probabilistic information). We aim to study formal methods in all their aspects: foundations (their mathematical and logical basis), algorithmic advances (the conceptual basis for software tool support) and practical considerations (tool construction and case studies).

11/2011

Drittmittel

international

http://

Nein

Nein

Nein

MEALS - Mobility between Europe and Argentina applying Logics to Systems

Computing systems are getting ever more ubiquitous, making us dependant on their proper functioning. Therefore, we require that they are correct (i.e. they conform their intended behaviour), safe 8i.e. its operation does not have catastrophic consequences), reliable, available to provide the intended service, and secure 8i.e., no user without appropriate clearance can access or modify protected data).
Guarantees for such characteristics rely on rigid specification and analysis techniques for both the required system functionality as well as its behaviour. Formal methods provide a mathematical approach to model, understand, and analyze systems, especially at early development stages.
In this project we focus on three aspects of formal methods: specification, verification, and synthesis. We consider the study of both qualitative behaviour and quantitative behaviour (extended with probabilistic information). We aim to study formal methods in all their aspects: foundations (their mathematical and logical basis), algorithmic advances (the conceptual basis for software tool support) and practical considerations (tool construction and case studies).

11/2011

Drittmittel

international

http://

Nein

Nein

Nein

MEALS - Mobility between Europe and Argentina applying Logics to Systems

Computing systems are getting ever more ubiquitous, making us dependant on their proper functioning. Therefore, we require that they are correct (i.e. they conform their intended behaviour), safe 8i.e. its operation does not have catastrophic consequences), reliable, available to provide the intended service, and secure 8i.e., no user without appropriate clearance can access or modify protected data).
Guarantees for such characteristics rely on rigid specification and analysis techniques for both the required system functionality as well as its behaviour. Formal methods provide a mathematical approach to model, understand, and analyze systems, especially at early development stages.
In this project we focus on three aspects of formal methods: specification, verification, and synthesis. We consider the study of both qualitative behaviour and quantitative behaviour (extended with probabilistic information). We aim to study formal methods in all their aspects: foundations (their mathematical and logical basis), algorithmic advances (the conceptual basis for software tool support) and practical considerations (tool construction and case studies).

11/2011

Drittmittel

international

http://

Nein

Nein

Nein

MEALS - Mobility between Europe and Argentina applying Logics to Systems

Computing systems are getting ever more ubiquitous, making us dependant on their proper functioning. Therefore, we require that they are correct (i.e. they conform their intended behaviour), safe 8i.e. its operation does not have catastrophic consequences), reliable, available to provide the intended service, and secure 8i.e., no user without appropriate clearance can access or modify protected data).
Guarantees for such characteristics rely on rigid specification and analysis techniques for both the required system functionality as well as its behaviour. Formal methods provide a mathematical approach to model, understand, and analyze systems, especially at early development stages.
In this project we focus on three aspects of formal methods: specification, verification, and synthesis. We consider the study of both qualitative behaviour and quantitative behaviour (extended with probabilistic information). We aim to study formal methods in all their aspects: foundations (their mathematical and logical basis), algorithmic advances (the conceptual basis for software tool support) and practical considerations (tool construction and case studies).

11/2011

Drittmittel

international

http://

Nein

Nein

Nein

MEALS - Mobility between Europe and Argentina applying Logics to Systems