A collection of formal methods, algorithms, checkers, etc.
Primary LanguageXtendMozilla Public License 2.0MPL-2.0