Recent Extensions to the Stochastic Process Algebra Tool CASPA

In this note we have presented two new features for CASPA: An extension of the modelling language to handle immediate transitions and a GUI for graphical model specification as a front end to the CASPA core application. Future work on the tool is to implement an improved hybrid elimination algorithm that consists of a purely symbolic preprocessing step as proposed in and a semi-symbolic postprocessing step that only has to handle the exceptional cases, i.e. immediate loops. Also, a debugging routine is being developed that is capable of calculating paths to deadlock states.