Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES

Uses of Interface
uk.ac.man.cs.rainbow.wvmc.RemoteModelChecker

Packages that use RemoteModelChecker
uk.ac.man.cs.rainbow.wvmc Classes implementing a model-checker. 
 

Uses of RemoteModelChecker in uk.ac.man.cs.rainbow.wvmc
 

Classes in uk.ac.man.cs.rainbow.wvmc that implement RemoteModelChecker
 class RMIServer
          A simple server object that exports the model checker via Java RMI.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES