#

kodkod

Here are 3 public repositories matching this topic...

ModelWriter / Tarski

A Platform for Automated Analysis of Traceability (WP3)

alloy smt traceability kodkod automated-reasoning formal-trace-semantics

Updated Dec 23, 2017
Java

ModelWriter / AlloyInEcore

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

uml z3 alloy ecore ecore-metamodel kodkod model-driven-engineering automated-reasoning mof

Updated Apr 30, 2019
Java

ModelWriter / WP3

A Platform for Automated Analysis of Traceability (WP3)

emf verification alloy automated-analysis traceability kodkod z

Updated Jun 12, 2017
Java

Improve this page

Add a description, image, and links to the kodkod topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the kodkod topic, visit your repo's landing page and select "manage topics."