NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2246 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · c96bd650ac
1 changed files with 2 additions and 0 deletions
--- a/prism/NOTES
+++ b/prism/NOTES
@ -35,6 +35,8 @@ Sim:
 * seed issues (Vlad)

 PTAs:
+* Clarify rewards support (digital clocks)
+* Less verbose A-R output?
 * More of PCTL - even just G, bounded (not =?), etc.
 * Enforce well-formedness checks (i.e. guards/resets imply target invariants)
  (as opposed to say supporting strong invariants,