Formal verification based on assume and guarantee approach - a case study (short paper).

Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata

Browse the full ASPDAC paper archive.