CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1581 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · 51b0df55e4
1 changed files with 1 additions and 0 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -37,6 +37,7 @@ Bug fixes:
 - Simulator bug (crashes on min/max function)
 - CTMC transient probs with MTBDD engine crash
 - State/transition reward mix-up in parser
+- Approximate verification of lower time-bounded properties for CTMCs

 -----------------------------------------------------------------------------
 Version 3.3 (released 29/10/2009)