Wan Fokkink

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. Meer

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Meer