Tools for CSP - Overview and Perspectives

  • Veranstaltungsdetails
  • 03.12.2020, 16:00 Uhr - 17:30 Uhr 
  • Ort: Zoom, https://uni-augsburg.zoom.us/j/94074686266?pwd=WmlNZ2w4VmhDS1o5TXppbHBPMVVmQ, Zoom
  • Veranstalter: Elitestudiengang Software Engineering
  • Themenbereiche: Informatik
  • Veranstaltungsreihe: Ringvorlesung des Elitestudiengangs Software Engineering
  • Vortragsreihe
  • Vortragende: Prof. Markus Roggenbach

Prof. Markus Roggenbach von der Swansea University hält in der Ringvorlesung des Elitestudiengangs Software Engineering einen Gastvortrag zum Thema "Tools for CSP - Overview and Perspectives". Alle sind herzlich eingeladen. Die Ringvorlesung findet als Onlinetermin in Zoom statt. Der Zoom-Raum für den Gastvortrag ist: https://uni-augsburg.zoom.us/j/94074686266?pwd=WmlNZ2w4VmhDS1o5TXppbHBPMVVmQ


Abstract

Taking the "Children & Candy Puzzle" (see below) as a master example, we discuss what the various tools for the process algebra CSP offer for modelling and verifying systems. Besides covering the standard instruments of simulation and model checking, we also discuss interactive theorem proving for CSP, as exemplified in our tool CSP-Prover. Besides the power to analyze infinite state systems, the theorem proving approach offers the possibility for deeper reflections on CSP such as verifying the algebraic laws of the language, and proving meta results such as the completeness of axiomatic semantics.

Children & Candy Puzzle: "There are k children sitting in a circle. In the beginning, each child holds an even number of candies. The following step is repeated indefinitely: Every child passes half of her candies to the child on her left; any child who is left with an odd number of candies is given another candy from the teacher. Claim: Eventually, all children will hold the same number of candies."

Biography

Markus Roggenbach is Professor of Computer Science at Swansea University, Wales, United Kingdom. He studied Computer Science in Braunschweig and Karlsruhe, did his PhD in Mannheim, and worked as a postdoc in Bremen. In Swansea, he built up an active research group on the topic of "Processes and Data".

Weitere Veranstaltungen: Institut für Software & Systems Engineering

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

Suche