The pRISM+ tool suite uses CORBA as a backbone.
back
