Changes between Version 1 and Version 2 of Contribute


Ignore:
Timestamp:
Jun 18, 2008, 4:35:18 PM (11 years ago)
Author:
Viet Yen Nguyen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Contribute

    v1 v2  
    66
    77=== Development Process: ===
     8We have a set of guidelines that have been created on our experience. Those guidelines ensure that we make releases of the highest quality. These guidelines can be found here: [attachment:4DEVELOPERS TXT]
    89
    9 
    10 
    11 === Ideas: ===
     10=== Unimplemented Features: ===
    1211 * Markov Reward Model Checker, VOSS-II final meeting. [attachment:VOSS_2007_11_12.pdf PDF]
    1312 * How Fast and Fat Is Your Probabilistic Model Checker? [attachment: PPS]