Formal Verification
- Nov 16, 2009. AC-Unification(Algorithm.pdf, AC-Unification.pdf)
- Nov 9, 2009. Timed automata, Semantics, Algorithms and Tools(PDF)
- Nov 4, 2009. An Introduction to Game Theory.(PDF,PPT)
- Oct 28, 2009. Guoqiang Li. An Introduction to Functional Programming and Maude. (PDF)