Changes between Version 31 and Version 32 of News


Ignore:
Timestamp:
Nov 11, 2009, 5:52:48 PM (9 years ago)
Author:
Dr. Ivan S. Zapreev
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • News

    v31 v32  
    1010      This completes the CTMC simulation engine.
    1111    * Fixed Fox-Glynn algorithm: In certain cases the computed Poisson probabilities
    12       were incorrect. This fix is crucial for computing unbounded-reachability properties.
     12      were incorrect. This fix is crucial for computing transient-reachability probabilities
     13      of CTMCs (time-interval and time-bounded until).
    1314
    1415==== 18.09.2009 ====