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
Veranstaltungen      Räume und Gebäude      Personen     
Sie sind hier: Startseite

Formal Methods for Software Engineering - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung SWS 4
Veranstaltungsnummer 422250037 Max. Teilnehmer/-innen
Semester WiSe 2023/24 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 10.10.2023  Schwanseestraße 143 - Seminarraum 3.09  

Vorlesung

  
Einzeltermine anzeigen
Fr. 11:00 bis 12:30 wöch. von 13.10.2023  Schwanseestraße 143 - Seminarraum 3.31     01.12.2023: Raumwechsel 3.09
Einzeltermine anzeigen
Fr. 11:00 bis 12:30 Einzel am 01.12.2023 Schwanseestraße 143 - Seminarraum 3.09      
Gruppe [unbenannt]:
 
 


Zugeordnete Personen
Zugeordnete Personen Zuständigkeit
Ringert, Jan, Prof., Dr.rer.nat.
Soaibuzzaman, . , Master of Science
Studiengänge
Abschluss Studiengang Semester Leistungspunkte
M. Sc. Digital Engineering (M.Sc.), PV 17 - 6
M. Sc. Human-Computer Interaction (M.Sc.), PV15 - 6
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
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2023/24 , Aktuelles Semester: WiSe 2024/25
BISON-Portal Startseite   Zurück Kontakt/Impressum Datenschutz