|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Rainbow Core | |
uk.ac.man.cs.rainbow | Core and general utility classes. |
Rainbow Simulator | |
uk.ac.man.cs.rainbow.datamodel | Data model for Rainbow simulation. |
uk.ac.man.cs.rainbow.deadlock | Deadlock and temporal model checking. |
uk.ac.man.cs.rainbow.simulator | Rainbow simulation system. |
uk.ac.man.cs.rainbow.simulator.rasm | RASM instructions. |
uk.ac.man.cs.rainbow.temp | Temporary classes. |
Model Checker | |
uk.ac.man.cs.rainbow.wvmc | Classes implementing a model-checker. |
uk.ac.man.cs.rainbow.wvmc.parser | CTL*-NNF and LTL parsers. |
RAPA Manipulation | |
uk.ac.man.cs.rainbow.rapa | This package provides classes that implement RAPA. |
uk.ac.man.cs.rainbow.rapa.abstraction | This package provides classes that support abstract interpretation of GCL derived from RAPA. |
uk.ac.man.cs.rainbow.rapa.data | This package provides common datatypes for RAPA and GCL. |
uk.ac.man.cs.rainbow.rapa.gcl | This package provides classes that define Guarded Command Language. |
Other Packages | |
Rainbow | Entry points, RMI service classes and application-level wrappers. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |