Validation of Stochastic Systems

Validation of Stochastic Systems

4.11 - 1251 ratings - Source

The main approach is to use clock constraints to define sets of regions, which are then manipulated during model checking algorithms. ... Both the Tctl and reachability algorithms have been implemented in the tool KRONOS [52], while algorithms for ... 4.1 Modelling with Real-Time Probabilistic Processes In order to introduce the first model for probabilistic timed ... Upon entry to a location l, those clocks scheduled in l that were not scheduled in the previous location l are reset to new, anbsp;...

Title:Validation of Stochastic Systems
Author:Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Publisher:Springer Science & Business Media - 2004-08-11


You Must CONTINUE and create a free account to access unlimited downloads & streaming