Section: General | Formal Methods for Distributed Systems (Debrecen 2007)

Calendar

Monday	Tuesday	Wednesday	Thursday	Friday	Saturday	Sunday
						No events, Sunday, 1 September No events, Sunday, 1 September
No events, Monday, 2 September No events, Monday, 2 September	No events, Tuesday, 3 September No events, Tuesday, 3 September	No events, Wednesday, 4 September No events, Wednesday, 4 September	No events, Thursday, 5 September No events, Thursday, 5 September	No events, Friday, 6 September No events, Friday, 6 September	No events, Saturday, 7 September No events, Saturday, 7 September	No events, Sunday, 8 September No events, Sunday, 8 September
No events, Monday, 9 September No events, Monday, 9 September	No events, Tuesday, 10 September No events, Tuesday, 10 September	No events, Wednesday, 11 September No events, Wednesday, 11 September	No events, Thursday, 12 September No events, Thursday, 12 September	No events, Friday, 13 September No events, Friday, 13 September	No events, Saturday, 14 September No events, Saturday, 14 September	No events, Sunday, 15 September No events, Sunday, 15 September
No events, Monday, 16 September No events, Monday, 16 September	No events, Tuesday, 17 September No events, Tuesday, 17 September	No events, Wednesday, 18 September No events, Wednesday, 18 September	No events, Thursday, 19 September No events, Thursday, 19 September	No events, Friday, 20 September No events, Friday, 20 September	No events, Saturday, 21 September No events, Saturday, 21 September	No events, Sunday, 22 September No events, Sunday, 22 September
No events, Monday, 23 September No events, Monday, 23 September	No events, Tuesday, 24 September No events, Tuesday, 24 September	No events, Wednesday, 25 September No events, Wednesday, 25 September	No events, Thursday, 26 September No events, Thursday, 26 September	No events, Friday, 27 September No events, Friday, 27 September	No events, Saturday, 28 September No events, Saturday, 28 September	No events, Sunday, 29 September No events, Sunday, 29 September
No events, Monday, 30 September No events, Monday, 30 September

Section outline

Select section General
Formal Methods for Distributed Systems
(Blocked Course, University of Debrecen, September 18-20, 2007)
http://www.risc.uni-linz.ac.at/people/schreine/courses/ws2007/formdist

Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University, Linz, Austria

The goal of this blocked course is to describe languages and supporting tools for specifying and reasoning about distributed systems, i.e., hardware and software systems involving concurrency and communication. In detail, we will discuss:

Modeling and Reasoning about Concurrency

Tool: The Model Checker Spin

The Temporal Logic of Actions (TLA)

Tool: The Model Checker TLC
- Select activity News forum
  
  News forum

September 2024

Section outline