Formal Verification Trainer

Fresh

Formal verification and model checking trainer: temporal logic, CTL/LTL properties, Kripke structures, counterexample generation, and abstraction r...

Type: RL Env
Tags: Formal Verification Model Checking Temporal Logic Ctl Ltl Kripke Structures Automata Theory
License: mit
Size: v0.1.0
Published: Aug 2026
Canonical: app.primeintellect.ai/dashboard/environments/marry/formal-verification-trainer

Cite

Notes

Only stored in your browser.

Attribution

README: api.primeintellect.ai/api/v1/environmentshub/marry/formal-verification-trainer/@0.1.0/inspectMIT

Attribution policy →

Contributors

1