Parallel Programming WS 2014/2015 - Slide 17d
Objectives:
Interleaving and assertions on processes
In the lecture:
Explain
- NI,
- the role of pre(A),
- the more possibilities for interleaving the more proofs of NI are needed,
- assertions that are globally true simplify the proofs,
- it is easier to prove weaker assertions.
Questions:
- Why can assertions on non-observable states be ignored?
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 09.10.2014