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.
BSD 2-Clause "Simplified" License
14
stars
1
forks
source link
Automatically generate and publish the rustdoc docs #115
We should be able to build the docs and deploy with GitHub Pages, so the API docs are easily accessible.