Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Formal Verification Methods

Interaktivní osnova

Formal Verification Methods

Model Checking 18. 3. 2013

Slides

Lecture 04 - Model checking: an introduction

Supplementary materials

R. Mayr: Decidability and Complexity of Model Checking
Problems for Infinite-State Systems. PhD thesis, 1998.

Předchozí

Formal Verification Methods
- Nyní studovat
  
  Introduction, relation to other courses, basic taxonomy of formal verification techniques. 18. 2. 2013
- Nyní studovat
  
  Deductive software verification, partial and complete correctness, verification of flowcharts, axiomatic program verification. 25. 2. 2013
- Nyní studovat
  
  Theorem prover ACL2 4. 3. 2013
- Nyní studovat
  
  Cancelled 11. 3. 2013
- Nyní studovat
  
  Model Checking 18. 3. 2013
- Nyní studovat
  
  Reachability in Pushdown Systems 25. 3. 2013
- Nyní studovat
  
  Cancelled - Easter Monday 1. 4. 2013
- Nyní studovat
  
  LTL verification of Pushdown Systems 8. 4. 2013
- Nyní studovat
  
  Abstraction I 15. 4. 2013
- Nyní studovat
  
  Abstraction II, CEGAR 22. 4. 2013
- Nyní studovat
  
  Symbolic Execution 29. 4. 2013
- Nyní studovat
  
  Abstract Interpretation 6. 5. 2013
- Nyní studovat
  
  Partial Order Reduction 13. 5. 2013

Operace

Prohlédnout vše