Formal Verification Methods
-
Formal Verification Methods
-
Nyní studovatIntroduction, relation to other courses, basic taxonomy of formal verification techniques. 18. 2. 2013
-
Nyní studovatDeductive software verification, partial and complete correctness, verification of flowcharts, axiomatic program verification. 25. 2. 2013
-
Nyní studovatTheorem prover ACL2 4. 3. 2013
-
Nyní studovatCancelled 11. 3. 2013
-
Nyní studovatModel Checking 18. 3. 2013
-
Nyní studovatReachability in Pushdown Systems 25. 3. 2013
-
Nyní studovatCancelled - Easter Monday 1. 4. 2013
-
Nyní studovatLTL verification of Pushdown Systems 8. 4. 2013
-
Nyní studovatAbstraction I 15. 4. 2013
-
Nyní studovatAbstraction II, CEGAR 22. 4. 2013
-
Nyní studovatSymbolic Execution 29. 4. 2013
-
Nyní studovatAbstract Interpretation 6. 5. 2013
-
Nyní studovatPartial Order Reduction 13. 5. 2013
-
Cancelled - Easter Monday 1. 4. 2013
-
Formal Verification Methods
-
Nyní studovatIntroduction, relation to other courses, basic taxonomy of formal verification techniques. 18. 2. 2013
-
Nyní studovatDeductive software verification, partial and complete correctness, verification of flowcharts, axiomatic program verification. 25. 2. 2013
-
Nyní studovatTheorem prover ACL2 4. 3. 2013
-
Nyní studovatCancelled 11. 3. 2013
-
Nyní studovatModel Checking 18. 3. 2013
-
Nyní studovatReachability in Pushdown Systems 25. 3. 2013
-
Nyní studovatCancelled - Easter Monday 1. 4. 2013
-
Nyní studovatLTL verification of Pushdown Systems 8. 4. 2013
-
Nyní studovatAbstraction I 15. 4. 2013
-
Nyní studovatAbstraction II, CEGAR 22. 4. 2013
-
Nyní studovatSymbolic Execution 29. 4. 2013
-
Nyní studovatAbstract Interpretation 6. 5. 2013
-
Nyní studovatPartial Order Reduction 13. 5. 2013
-