Formal Methods Tools

fbPDR

Reachability Analyzer

At a Glance

Applications Model Checker
Interfaces CLI
Licenses MIT
Maintenance Actively Maintained

Description

Forward / backward PDR/IC3 implementation.

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