MatiasBrizzio/EstiMate

EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.

Java

Readme
0Issues
3Stargazers
1Watcher

No issues in this repository yet.

Topics

model-counting formal-methods ltl linear-temporal-logic automata matrix tlsf satisfiability sat logic regular-expressions abc matrix-multiplication owl-api regex regex-pattern sat-solver icse

Contact site admin: Geeks.