Description
Temporal-logic formulas can be translated into Büchi automata for formal verification workflows.
This package is useful for researchers and developers analyzing concurrent or reactive systems. It is a formal-methods command-line tool, not a general programming language.
Formal models are only as accurate as their assumptions. Validate formulas before relying on generated automata for design decisions.