Modeling tools — model checking

Researchers Koen Claessen