[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

MU library

I have recently begun using PVS to develop a specification for a
communications protocol.  I have been able to prove an invariant using 
the PVS prover, but would also like to explore model checking with
ctl.  However, PVS cannot find the MU library, and neither can I.  Is
such a thing still available?

Aaron Ballard