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
Opt-in to clippy suggestion to inline format! args #133
Suggests changing
format!("hello {}", name)toformat!("hello {name}")for example.cargo clippy --fixcan apply these suggestions automatically.