People
- Cédric Gaucherel
- lead researcher in the EDEN project for the ecology side
- Franck Pommereau
- lead researcher in the EDEN project for the computer-science side
- main author of
ecco
- Colin Thomas
- former PhD student
- author of
pymc
Resources
eccoat GitHubpymc- the (AR)CTL model checker used in
ecco
- the (AR)CTL model checker used in
libDDD- the decision diagrams library used in
ecco - complemented with
libITSfor simpler models translation
- the decision diagrams library used in