| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 10.01.2006 | Prof. Dr. Willem-Paul de Roever (Christian-Albrechts-University of Kiel)? | 3A? | Concurrency Verification: Why? and How? Compositionality? | Foils:Concurrency, Compositionality? |
| 17.01.2006 | Prof. Dr. Willem-Paul de Roever? | 3A? | The inductive assertion method.? | Covers sequential program verification.Foils? |
| 23.01.2006 | Prof. Dr. Willem-Paul de Roever? | 3B 13.15-15.00? | Synchronous transition diagrams and their compositional semantics. Compositional semantics for nested synchronous transition diagrams. Compositional verification of NSTDs.? | Foils:Synchronous Transition Diagrams, Semantics for NSTDs, Verification of NSTDs.? |
| 31.01.2006 | Prof. Dr. Willem-Paul de Roever? | 3A? | Soundness and (semantic) completeness? | Foils? |
| 07.02.2006 | Prof. Dr. Willem-Paul de Roever? | 3A? | Soundness and completeness. Assume-guarantee-based reasoning? | Covers an intro to both assume/guarantee-based reasoning about synchronous TDs and shared-variable concurrency (and then called the rely-guarantee formalism).Foils? |
| 14.02.2006 | Prof. Dr. Willem-Paul de Roever? | 3A? | Assume-guarantee-based proofsystem? | Covers the required semantics, proof system, and soundness and semantic completeness.Foils? |
| 21.02.2006 | ? | ? | No lecture this week ? | ? |
| 28.02.2006 | Prof. Dr. Willem-Paul de Roever? | 3A? | Verification for Java's multi-threading and monitor concepts? | Abstract? |
| 07.03.2006 | Arild Torjusen? | 3A? | Validating Behavioral Component Interfaces in Rewriting Logic? | The talk will present this article. Abstract? |
| 14.03.2006 | Johan Dovland? | 3A? | Compositional Reasoning of Concurrent Objects with Asynchronous Method Calls? | Abstract? |
| 21.03.2006 | Ingrid Chieh Yu? | 3A? | A type system for CREOL? | Abstract? |
| 28.03.2006 | Roger Antonsen? | 3A? | Variabelsplitting: konsistens og kompleksitet? | Abstract? |
| 04.04.2006 | ? | ? | No lecture? | ? |
| 11.04.2006 | ? | ? | No lecture (easter)? | ? |
| 18.04.2006 | Anders Moen Hagalisletto? | 3A? | Local deduction of trust? | Abstract? |
| 25.04.2006 | Mass Soldal Lund? | 3A? | Testing of probabilistic automata with input and output? | ? |
| 02.05.2006 | Christian Mahesh Hansen? | 3A? | Matrix Characterisation of Validity in Automated Proof Search? | ? |
| 09.05.2006 | Harald Chen? | 3A? | ? | ? |
Undervisningsplan
Publisert 16. jan. 2006 16:27
- Sist endret 13. feb. 2007 11:59