FORMAL VERIFICATION: CLASSES IN UNIVERSITIES.

1. BRICS notes on various systems and ideas at the recent Autumn School on Verification.
2. Mike Gordon, Cambridge. Course in Verification
3. Computational Modelling of Mathematical Reasoning, Alan Bundy and Alan Smaill See links, good.
4. Formal Hardware Verification by Symbolic Simulation
5. VLSIhoo?! Worldwide VLSI/IC/Microprocessor R&D Repository
6. Coverage-Based Microprocessor Verification
7. Shui-Kai Chin, Syracuse, Course in Hardware Verification
8. Adnan Aziz, U Texas, Course in Hardware Verification
9. Alan Hu, UBC, Course in Hardware Verification
10. Thomas Kropf, U Karlsruhe (in German), Course in Hardware Verification
11. Robert K. Brayton, UC Berkeley, Course in Hardware Verification, Logic Desing oriented.
12. John Harrison, Cambridge, Functional programming course, Hardware Verification.