Skip to content

@flyvy-verifier flyvy-verifier

Change the repository type filter

All

    Repositories list

    1 repository

    • flyvy

      Public
      An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition systems in first-order logic and verify temporal correctness properties, including safety and liveness.
      verificationliveness
      Rust
      •
      BSD 2-Clause "Simplified" License
      •1•16•7•3•Updated Nov 13, 2024Nov 13, 2024