Generality in design and compositional verification using TAV.

Anders Brjesson, Kim Guldstrand Larsen, Arne Skou

Browse the full FORTE paper archive.