|
|
@ -12,15 +12,21 @@ PRIORITY (first beta, w/ CAV paper) |
|
|
-------- |
|
|
-------- |
|
|
|
|
|
|
|
|
* JAVADOC |
|
|
* JAVADOC |
|
|
|
|
|
|
|
|
* BENCHMARKS! |
|
|
|
|
|
|
|
|
|
|
|
* Integrate stat-mc (patch done) |
|
|
|
|
|
|
|
|
- links on front page? |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
PRIORITY (next betas) |
|
|
PRIORITY (next betas) |
|
|
-------- |
|
|
-------- |
|
|
|
|
|
|
|
|
|
|
|
* Benchmarks |
|
|
|
|
|
- Get tar files online |
|
|
|
|
|
- Check/tidy |
|
|
|
|
|
- Links to e.g CTMCs props from below CTMCs table |
|
|
|
|
|
- Links from each prop to corr model table? |
|
|
|
|
|
- More labels |
|
|
|
|
|
- ctmc steady-state split up? |
|
|
|
|
|
- unique prop names across models? |
|
|
|
|
|
|
|
|
* Intervals (e.g. for multiple initial states) plotted in graphs |
|
|
* Intervals (e.g. for multiple initial states) plotted in graphs |
|
|
|
|
|
|
|
|
* Stat m/c |
|
|
* Stat m/c |
|
|
@ -34,6 +40,7 @@ PRIORITY (next betas) |
|
|
Result objects returned from SimEngine + explanation strings |
|
|
Result objects returned from SimEngine + explanation strings |
|
|
|
|
|
|
|
|
* PTA fix: convex, non-diagonal, etc. |
|
|
* PTA fix: convex, non-diagonal, etc. |
|
|
|
|
|
(see DigitalClocks.java.patch) |
|
|
cases to consider: |
|
|
cases to consider: |
|
|
- implications in invariants |
|
|
- implications in invariants |
|
|
- Pmax=? [ F "end" & (x<=5) ] |
|
|
- Pmax=? [ F "end" & (x<=5) ] |
|
|
|
Dave Parker
15 years ago