kodkod

There are 0 repository under kodkod topic.

• ModelWriter / Tarski

  A Platform for Automated Analysis of Traceability (WP3)

  alloyautomated-reasoningformal-trace-semanticskodkodsmttraceability
  Language:Java 8

• ModelWriter / WP3

  A Platform for Automated Analysis of Traceability (WP3)

  alloyautomated-analysisemfkodkodtraceabilityverificationz
  Language:Java 4

• ModelWriter / AlloyInEcore

  Embedding of First-Order Relational Logic into Meta-Object Facility

  alloyautomated-reasoningecoreecore-metamodelkodkodmodel-driven-engineeringmofumlz3
  Language:Java 2