Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements.

Mariano M. Moscato, Carlos Lpez Pombo, Marcelo F. Frias

Browse the full ICTAC paper archive.