CASPA

MaRDI QIDQ15401swMATHFDO

Official website http://www.springerlink.com/content/gt1l20l73623x013/fulltext.pdf

Described by source

• An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA

Cited in

(3)

• Parameter and Controller Synthesis for Markov Chains with Actions and State Labels.
• A new algorithm for partitioned symbolic reachability analysis
• Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications

This page was built for software: CASPA