Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion.

Henrik Reif Andersen, Bart Vergauwen

Browse the full CAV paper archive.