One of our ex-master students, Jan Boerman, has graduated today. His mastersthesis is titled "Formal verification of a sequential SCC algorithm". You can find it here. Congratulations Jan!