search

ModelWriter / Deliverables

Project Monitoring, Tracking, Communication Management and Infrastructure
https://github.com/ModelWriter/Deliverables/issues
Eclipse Public License 1.0
2 stars 0 forks source link

D4.4.2 Proof-of-concept model checker #63

Closed ferhaterata closed 7 years ago

m-challenger commented 8 years ago

The implementation of model checker is going to be realized in Taski. The first version is available in Source repository.