related documents Finding minimal unsatisfiable cores of declarative specifications Conferences Masking Faults While Providing Bounded-Time Phased Recovery Conferences Proofs and refutations for probabilistic refinement Conferences
