The Technion - Computer-aided verification of software and hardware modularity and abstraction temporal logics equivalences and preorders automata on infinite objects theorem provers static analysis and model checking coverage in model checking

Visit website