Finding Minimal Unsatisfiable Cores of Declarative Specifications

Authors:

Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson

Publication Venue:

15th International Symposium on Formal Methods (FM'08), Turku, Finland.

When Published:

May 26 2008

Attachment	Size
mincore-fm08.pdf	300.75 KB

by emina

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte

Search