Kodkod: A Relational Model Finder.

Emina Torlak, Daniel Jackson

Browse the full TACAS paper archive.