telo (cargo): Temporal specifications in Rust
Keywords: logic|temporal