Recent Extensions to the Stochastic Process Algebra Tool CASPA.

Martin Riedl Johann Schuster Markus Siegle

Published in: QEST (2008)

Keyphrases

process algebra
formal specification
formal methods
asynchronous circuits
concurrent systems
model checking
temporal logic
concurrent programs
database
expert systems
general purpose
petri net