utwente-fmt/ltsmin

The LTSmin model checking toolset

C

63

2,473 commits

updated Oct 31, 2024

ltsmin.utwente.nl

computation-tree-logic

dve

linear-temporal-logic

model-checker

model-checking

mu-calculus

petri-net

pnml

promela

Contributors

1,008 commits

767 commits

165 commits

107 commits

Languages

C

78.5%

M4

13.8%

C++

3.9%

Makefile

2.5%

utwente-fmt/ltsmin

The LTSmin model checking toolset

C

63

2,473 commits

updated Oct 31, 2024

ltsmin.utwente.nl

computation-tree-logic

dve

linear-temporal-logic

model-checker

model-checking

mu-calculus

petri-net

pnml

promela

Contributors

1,008 commits

767 commits

165 commits

107 commits

Languages

C

78.5%

M4

13.8%

C++

3.9%

Makefile

2.5%