Generic, modular and configurable model checking framework
Primary LanguageJavaApache License 2.0Apache-2.0