Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Switch to english language
Startseite    Anmelden     
Logout in [min] [minutetext]
WiSe 2024/25

Formal Methods for Software Engineering - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung SWS 4
Veranstaltungsnummer 422250037 Max. Teilnehmer/-innen
Semester WiSe 2024/25 Zugeordnetes Modul
Erwartete Teilnehmer/-innen
Rhythmus einmalig
Hyperlink https://moodle.uni-weimar.de/course/view.php?id=40750
Sprache englisch
Termine Gruppe: [unbenannt]
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
Di. 09:15 bis 10:45 wöch. von 15.10.2024  Bauhausstraße 11 - Seminarraum H  

Vorlesung

 
Einzeltermine anzeigen
Fr. 11:00 bis 12:30 wöch. von 25.10.2024  Bauhausstraße 11 - Seminarraum H      
Gruppe [unbenannt]:
 
 


Zugeordnete Personen
Zugeordnete Personen Zuständigkeit
Soaibuzzaman, . , Master of Science
Ringert, Jan, Prof., Dr.rer.nat.
Studiengänge
Abschluss Studiengang Semester Leistungspunkte
M. Sc. Human-Computer Interaction (M.Sc.), PV17 - 6
M. Sc. Digital Engineering (M.Sc.), PV 19 - 6
M. Sc. Computer Science for Digital Media (M.Sc.), PV 18 - 4,5
M. Sc. Human-Computer Interaction (M.Sc.), PV19 - 6
M. Sc. Computer Science for Digital Media (M.Sc.), PV 2020 - 6
M. Sc. Digital Engineering (M.Sc.), PV 2023 - 6
M. Sc. Computer Science for Digital Media (M.Sc.), PV 17 - 4,5
Zuordnung zu Einrichtungen
Intelligente Softwaresysteme
Fakultät Medien
Inhalt
Beschreibung

Formal methods are rigorous techniques for the mathematical analysis of software and hardware systems. This course introduces aspects of formal methods with applications to software engineering problems.

 

The topics covered in the course include:

  • Introduction to Formal Methods
  • Formal methods tools, e.g.,
    • SMT solvers on the example of Z3
    • Relational models and the Alloy Analyzer
    • Model Checking using SMV
  • Applications of formal methods in practice

 

After completion students will be able to

  • Model problems in different formalisms
  • Analyze software models using formal method tools
  • Evaluate formal methods for software engineering problems
Literatur

Slides, selected recordings, and links to literature will be shared during the lecture

Leistungsnachweis

Participation in exercises

Marked homework project including a presentation

Zielgruppe

M.Sc. Computer Science for Digital Media

M.Sc. Digital Engineering

M.Sc. Human-Computer Interaction


Strukturbaum
Die Veranstaltung wurde 11 mal im Vorlesungsverzeichnis WiSe 2024/25 gefunden:
Electives  - - - 1
Specialization  - - - 2
Master  - - - 4
Electives  - - - 6
Electives  - - - 8
Specialization  - - - 9
Elective Modules  - - - 10
Electives  - - - 11

BISON-Portal Startseite   Zurück Kontakt/Impressum Datenschutz