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

Subir K. Roy Hiroaki Iwashita Tsuneo Nakata

Published in: ASP-DAC (2000)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
coloured petri nets
case study
program slicing
test bed
temporal logic
fuzzy set theory
formal methods