kodkod

There are 0 repository under kodkod topic.

• ModelWriter / Tarski

  A Platform for Automated Analysis of Traceability (WP3)

  automated-reasoningformal-trace-semanticstraceabilityalloykodkodsmt
  Language:Java 8

• ModelWriter / WP3

  A Platform for Automated Analysis of Traceability (WP3)

  automated-analysisemftraceabilityalloykodkodzverification
  Language:Java 4

• ModelWriter / AlloyInEcore

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

  alloyz3automated-reasoningmodel-driven-engineeringmofumlecore-metamodelecorekodkod
  Language:Java 2