Interesting links
Software Model Checking Takes Off
Formal verification of chess endgame databases
Modal logics and mu-calculi: an introduction
SLAM