CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6720 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · 4eaf8a8ffb
1 changed files with 2 additions and 1 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -16,7 +16,8 @@ Version 4.1 (beta released 20/12/2012)
  - command-line GUI call (xprism)  takes both model and properties files as arguments
  - easier zoom-out (double click) for graphs in GUI

-* Non-probabilistic counterexample generation for CTL E[F ...] or A[G ...]
+* CTL model checking (most operators)
+  - and counterexample/witness generation for A[G ...] or E[F ...]
  
 * Changes to deadlock handling:
  - new option for "fix deadlocks" (defaults to *true*) (and new switch -nofixdl)