The TLA+ Language and Tool Set

  • Veranstaltungsdetails
  • 14.01.2021, 16:00 Uhr - 17:30 Uhr 
  • Ort: Zoom, https://uni-augsburg.zoom.us/j/94074686266?pwd=WmlNZ2w4VmhDS1o5TXppbHBPMVVmQT09, Zoom
  • Veranstalter: Elitestudiengang Software Engineering
  • Themenbereiche: Informatik
  • Veranstaltungsreihe: Ringvorlesung des Elitestudiengangs Software Engineering
  • Vortragsreihe
  • Vortragende: Dr. Stephan Merz

Dr. Stephan Merz vom INRIA in Nancy hält in der Ringvorlesung des Elitestudiengangs Software Engineering einen Gastvortrag zum Thema "The TLA+ Language and Tool Set". Alle sind herzlich eingeladen. Die Ringvorlesung findet als Onlinetermin in Zoom statt.


Abstract

TLA+ is a formal specification language whose foundations are mathematical set theory and temporal logic, and in which systems are described as state machines. It has been adopted mainly by companies that need to design and analyze fault-tolerant distributed and cloud systems. Using classical algorithms for distributed termination detection as a case study, this talk will present the TLA+ language and its tool support in the form of model checking and theorem proving for verifying correctness properties and checking refinement.

Weitere Veranstaltungen: Institut für Software & Systems Engineering

  • Februar 2021
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
  • März 2021
    • 01
    • 02
    • 03
    • 04
    • 05
    • 06
    • 07
    • 08
    • 09
    • 10
    • 11
    • 12
    • 13
    • 14
  • März 2021
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
  • März 2021 / April 2021
    • 29
    • 30
    • 31
    • 01
    • 02
    • 03
    • 04
    • 05
    • 06
    • 07
    • 08
    • 09
    • 10
    • 11
  • April 2021
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
  • April 2021 / Mai 2021
    • 26
    • 27
    • 28
    • 29
    • 30
    • 01
    • 02
    • 03
    • 04
    • 05
    • 06
    • 07
    • 08
    • 09
  • Mai 2021
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
  • Mai 2021 / Juni 2021
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 01
    • 02
    • 03
    • 04
    • 05
    • 06
  • Juni 2021
    • 07
    • 08
    • 09
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
  • Juni 2021 / Juli 2021
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 01
    • 02
    • 03
    • 04
  • Juli 2021
    • 05
    • 06
    • 07
    • 08
    • 09
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
  • Juli 2021 / August 2021
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 01
  • August 2021
    • 02
    • 03
    • 04
    • 05
    • 06
    • 07
    • 08
    • 09
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
  • August 2021
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
  • August 2021 / September 2021
    • 30
    • 31
    • 01
    • 02
    • 03
    • 04
    • 05
    • 06
    • 07
    • 08
    • 09
    • 10
    • 11
    • 12
  • September 2021
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
  • September 2021 / Oktober 2021
    • 27
    • 28
    • 29
    • 30
    • 01
    • 02
    • 03
    • 04
    • 05
    • 06
    • 07
    • 08
    • 09
    • 10
  • Oktober 2021
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
  • Oktober 2021 / November 2021
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 01
    • 02
    • 03
    • 04
    • 05
    • 06
    • 07
  • November 2021
    • 08
    • 09
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
  • November 2021 / Dezember 2021
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 01
    • 02
    • 03
    • 04
    • 05
  • Dezember 2021
    • 06
    • 07
    • 08
    • 09
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
  • Dezember 2021 / Januar 2022
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 01
    • 02
  • Januar 2022
    • 03
    • 04
    • 05
    • 06
    • 07
    • 08
    • 09
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
  • Januar 2022
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
  • Januar 2022 / Februar 2022
    • 31
    • 01
    • 02
    • 03
    • 04
    • 05
    • 06
    • 07
    • 08
    • 09
    • 10
    • 11
    • 12
    • 13

Suche