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

Henrik Reif Andersen Bart Vergauwen Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. 142-154 1995 conf/cav/1995 CAV db/conf/cav/cav95.html#AndersenV95 http://dx.doi.org/10.1007/3-540-60045-0_47