Stem kodkod$ (all stems)

4 papers:

FM-2012-PlaggeL #using #validation

Validating B, Z and TLA + Using ProB and Kodkod (DP, ML), pp. 372–386.

SAT-2012-IserTS #optimisation #order #relational

Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod — (Poster Presentation) (MI, MT, CS), pp. 483–484.

ECMFA-2011-StraetenPM #consistency #nondeterminism

Assessing the Kodkod Model Finder for Resolving Model Inconsistencies (RVDS, JPP, TM), pp. 69–84.

TACAS-2007-TorlakJ #named #relational

Kodkod: A Relational Model Finder (ET, DJ), pp. 632–647.