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

Reachability in Pushdown Systems 25. 3. 2013

Slides

Lecture 05 - Reachability in Pushdown Systems

Supplementary materials

J. Esparza, D. Hansel, P. Rossmanith, and S. Schwoon:
Efficient algorithms for model checking pushdown systems,
CAV 2000, LNCS 1855, Springer, 2000
S. Schwoon: Model-Checking Pushdown Systems, PhD
thesis, TUM, 2002.

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