Bart Vergauwen

Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. Henrik Reif Andersen Bart Vergauwen July 1995

... new attack on the combinatorial explosion typically arising when verifying concurrent systems based on modal equations. Parts of the work is joint with Bart Vergauwen ...

Henrik Reif Andersen and Bart Vergauwen. Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion.

Bart Vergauwen, Automatische formele verificatie van reactieve (transitie) systemen, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1995 ...