Group: BME MIT Theta
1.Theta Common36 usages
hu.bme.mit.theta » theta-common Apache
Common subproject in the Theta model checking framework
Last Release on Jun 30, 2025
2.Theta Core34 usages
hu.bme.mit.theta » theta-core Apache
Core subproject in the Theta model checking framework
Last Release on Jun 30, 2025
3.Theta Solver19 usages
hu.bme.mit.theta » theta-solver Apache
Solver subproject in the Theta model checking framework
Last Release on Jun 30, 2025
4.Theta Analysis16 usages
hu.bme.mit.theta » theta-analysis Apache
Analysis subproject in the Theta model checking framework
Last Release on Jun 30, 2025
5.Theta Solver Smtlib9 usages
hu.bme.mit.theta » theta-solver-smtlib Apache
Solver Smtlib subproject in the Theta model checking framework
Last Release on Jun 30, 2025
6.Theta Solver Z38 usages
hu.bme.mit.theta » theta-solver-z3 Apache
Solver Z3 subproject in the Theta model checking framework
Last Release on Jun 30, 2025
7.Theta Solver Z3 Legacy8 usages
hu.bme.mit.theta » theta-solver-z3-legacy Apache
Solver Z3 Legacy subproject in the Theta model checking framework
Last Release on Jun 30, 2025
8.Theta Xcfa8 usages
hu.bme.mit.theta » theta-xcfa Apache
Xcfa subproject in the Theta model checking framework
Last Release on Jun 30, 2025
10.Theta Cfa Analysis5 usages
hu.bme.mit.theta » theta-cfa-analysis Apache
Cfa Analysis subproject in the Theta model checking framework
Last Release on Jun 30, 2025
11.Theta Solver Javasmt5 usages
hu.bme.mit.theta » theta-solver-javasmt Apache
Solver Javasmt subproject in the Theta model checking framework
Last Release on Jun 30, 2025
12.Theta C Frontend4 usages
hu.bme.mit.theta » theta-c-frontend Apache
C Frontend subproject in the Theta model checking framework
Last Release on Jun 30, 2025
13.Theta Grammar3 usages
hu.bme.mit.theta » theta-grammar Apache
Grammar subproject in the Theta model checking framework
Last Release on Jun 30, 2025
14.Theta Graph Solver3 usages
hu.bme.mit.theta » theta-graph-solver Apache
Graph Solver subproject in the Theta model checking framework
Last Release on Jun 30, 2025
15.Theta Petrinet Model3 usages
hu.bme.mit.theta » theta-petrinet-model Apache
Petrinet Model subproject in the Theta model checking framework
Last Release on Jun 30, 2025
16.Theta Xsts3 usages
hu.bme.mit.theta » theta-xsts Apache
Xsts subproject in the Theta model checking framework
Last Release on Jun 30, 2025
20.Theta C2xcfa1 usages
hu.bme.mit.theta » theta-c2xcfa Apache
C2xcfa subproject in the Theta model checking framework
Last Release on Jun 30, 2025
