Seminar: Formal Specification

Moderator: Static and Dynamic Program Analysis

FlorianD
Mausschubser
Mausschubser
Beiträge: 98
Registriert: 14. Jan 2015 17:25

Seminar: Formal Specification

Beitrag von FlorianD »

In the summer term 2020, the MAIS group offers the seminar "Formal Specification" (3CP, TUCaN Id: 20-00-0914-se).

As long as requirements to computer designs are formulated in an ambiguous human language and as long as these designs are implemented by humans not insured against possible carelessness and misunderstandings, computer systems will contains errors. For the time being, the only way to guarantee absence of errors in a computer system is to exploit rigorous formal methods of mathematics for specifying system's intended behavior and proving that the actual system's implementation meets the desired behavior.

In the seminar, we will consider articles describing how logic and mathematics could be applied for precise specification and subsequent verification of selected computer systems, e.g., processors, compilers, and microkernels. In this semester, the focus of the considered articles is on policy languages for expressing system requirements.

Further information can be found on the course webpage (https://www.mais.informatik.tu-darmstad ... -ss20.html).

The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of the courses via TUCaN or write a short e-mail to kickoff-2020@mais.informatik.tu-darmstadt.de in case you want to register in TUCaN after the kick-off meeting.
Dateianhänge
Seminar-FormSpec.png
Seminar-FormSpec.png (111.21 KiB) 68 mal betrachtet

FlorianD
Mausschubser
Mausschubser
Beiträge: 98
Registriert: 14. Jan 2015 17:25

Re: Seminar: Formal Specification

Beitrag von FlorianD »

Update:
The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of the courses via TUCaN or write a short e-mail to kickoff-2020@mais.informatik.tu-darmstadt.de in case you want to register in TUCaN after the kick-off meeting.

Antworten

Zurück zu „Static and Dynamic Program Analysis“