The mc package

Fair CTL model checker and debugger.

By Adnan Aziz, Tom Shiple


Fair CTL model checker and debugger. Works on a flattened network.
Last updated on 980624 22h10