Tools for CSP - Overview and Perspectives

Veranstaltungsdetails
Datum: 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
Veranstaltungsart: 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

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

Suche