https://github.com/notbad4u/mcltl-rs

[beta] An experimental model checker for LTL written in Rust
https://github.com/notbad4u/mcltl-rs

buchi-automaton kripke-structure ltl ltl-formulas model-checker model-checking temporal-logic

Last synced: 12 days ago
JSON representation

[beta] An experimental model checker for LTL written in Rust

• Host: GitHub
• URL: https://github.com/notbad4u/mcltl-rs
• Owner: NotBad4U
• Created: 2020-05-06T22:39:42.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-05-14T23:02:36.000Z (over 4 years ago)
• Last Synced: 2023-03-10T04:26:15.507Z (almost 2 years ago)
• Topics: buchi-automaton, kripke-structure, ltl, ltl-formulas, model-checker, model-checking, temporal-logic
• Language: Rust
• Homepage:
• Size: 614 KB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project