IEEE - Institute of Electrical and Electronics Engineers, Inc. - Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools

Sixth International Conference on Application of Concurrency to System Design

Author(s): D. Cerotti ; D. D'Aprile ; S. Donatelli ; J. Sproston
Sponsor(s): ICT Turku Oy
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Turku, Finland
Conference Date: 28 June 2006
Page(s): 143 - 152
ISBN (Paper): 0-7695-2556-3
ISSN (Paper): 1550-4808
DOI: 10.1109/ACSD.2006.36
Regular:

Model-checking algorithms for continuous stochastic logic (CSL) properties have been introduced to facilitate the verification of stochastic systems against a variety of formally-defined... View More

Advertisement