Xmc 2 - Githubissues

R-daneel-olivaw / metamodel-checker

Research goal 1 for MMath

1 stars 0 forks source link

Xmc 2 #33

Closed R-daneel-olivaw closed 9 years ago

R-daneel-olivaw commented 9 years ago

This is the basic implementation of XMC scripts for model checking