Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools

Authors:
D. Cerotti;D. D'Aprile;S. Donatelli;J. Sproston
Affiliations:
Universita di Torino, Torino, Italy;Universita di Torino, Torino, Italy;Universita di Torino, Torino, Italy;Universita di Torino, Torino, Italy
Venue:
ACSD '06 Proceedings of the Sixth International Conference on Application of Concurrency to System Design
Year:
2006

Citing 0
Cited 4

The GreatSPN tool: recent enhancements

ACM SIGMETRICS Performance Evaluation Review
CSL Model Checking of Biochemical Networks with Interval Decision Diagrams

CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
The ins and outs of the probabilistic model checker MRMC

Performance Evaluation
IDD-based model validation of biochemical networks

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Synchronous Data Flow Graphs (SDFGs) are a useful tool for modeling and analyzing embedded data flow applications, both in a single processor and a multiprocessing context or for application mapping on platforms. Throughput analysis of these SDFGs is ...