 |
|
Kuntz, G.W.M. and Haverkort, B.R.H.M.
(2007)
Parallel CSRL Model Checking: First Results and Pointers to the Future.
In: Proceedings of the Sixth International Workshop on Parallel and Distributed Methods in Verification, 08 July 2007, Berlin, Germany.
.
Centre for Telematics and Information Technology University of Twente.
ISSN 0929-0672
Full text not available from this repository.  AbstractThe verification of quantitative aspects of a system, like performance and dependability,
by means of model checking has become an important and vivid area of research over the past
decade.
Recently, great progress has been made in the combined analysis of a system's performance
and dependability (the so-called performability) by means of model checking.
Both the logic CSRL (continuous stochastic reward logic)
and a number of model checking algorithms for this logic are tangible outcomes of this research.
To evaluate CSRL properties, however, it is necessary to solve large systems of
partial differential equations (PDEs). The inherent time complexity of the model checking
algorithms makes CSRL model checking for system models with more than 100,000
states practically infeasible. To overcome these difficulties, we have investigated
various possibilities to parallelise the CSRL model checking algorithms. First
practical experiments with a parallel version of the so-called path-exploration-based
algorithm will be reported.
| Item Type: | Conference or Workshop Paper (Full Paper, Talk) |
|---|
| Research Group: | EWI-DACS: Design and Analysis of Communication Systems |
|---|
| Research Program: | CTIT-DSN: Dependable Systems and Networks |
|---|
| Research Project: | veriGEM: A Verification Grid for Enhanced Model Checking |
|---|
| ID Code: | 10973 |
|---|
| Status: | Published |
|---|
| Deposited On: | 29 August 2007 |
|---|
| Refereed: | Yes |
|---|
| International: | Yes |
|---|
| More Information: | statisticsmetis |
|---|
Export this item as: To correct this item please ask your editor Repository Staff Only: edit this item
|
|
|
Nederlands
Contact
Sitemap
Search
Organisation