From 4eaf8a8ffb19a244ace769f42afd49c84de91655 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sat, 27 Apr 2013 20:46:02 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6720 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 007ff911..99478590 100644 --- 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)