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

Abstract Interpretation 6. 5. 2013

Slides

Lecture 10 - Abstract Interpretation

Supplementary materials

P. Cousot, R. Cousot: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints
P. Cousot: Abstract interpretation (MIT course)

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