Formal Methods Tools

Geyser

Reachability Analysis

At a Glance

Applications Model Checker
Interfaces CLI
Licenses MIT
Maintenance Actively Maintained

Description

Simple implementation of PDR and CAR model checking algorithms

Help improve this page!
Submit an issue or pull request.
Updated