of Verified Software -- Session 1. Automata -- Antichains: A New Algorithm for Checking