Skip to content

ModelWriter/WP3

Error
Looks like something went wrong!

About

A Platform for Automated Analysis of Traceability (WP3)

modelwriter.github.io/WP3/

Topics

emf verification alloy automated-analysis traceability kodkod z

Resources

Readme

License

EPL-1.0 license
Activity
Custom properties

Stars

4 stars

Watchers

8 watching

Forks

1 fork
Report repository

Releases 9

Second Release Latest
Oct 25, 2016
+ 8 releases

Packages

No packages published

Contributors 5

Languages