Changes between Version 2 and Version 3 of news_2006


Ignore:
Timestamp:
Jun 18, 2008, 3:45:10 PM (11 years ago)
Author:
Christina Jansen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • news_2006

    v2 v3  
    3636line into the includes section of:
    3737    ''src/mcc.c'' and ''src/io/parser/parser_etmcc2.y''
    38 files of the distribution. Note that this fix has been added into the currently downloadable version since '''14.11.2006'''.
     38files of the distribution. Note that this fix has been added into the currently downloadable version since '''14.11.2006'''.
     39
     40==== 06.11.2006 ====
     41Since version 3.0, [http://www.prismmodelchecker.org/ Prism] supports exporting its models into the MRMC model format. For more details see Section 1. of the [attachment: Documentation of the MRMC interface, version 1.2] or Section 6. of the READ.ME file in the MRMC distribution (starting from version 1.2).
     42 
     43==== 06.11.2006 ====
     44The New MRMC Version (1.2) is now available!
     45This release contains but is not limited by the following features:
     46
     47        * Support of formula- dependent and independent lumping for PCTL, CSL, PRCTL, CSRL logics (Until operators).
     48        * Optimized performance, fixed memory leaks and bugs.
     49        * Improved command-line parameters support and results output.
     50        * An extended, separately distributed, test suite with NEW performance tests.
     51
     52For more details check out the READ.ME file in the root of the distribution's directory tree.
     53 
     54==== 06.11.2006 ====
     55        * Check out our latest update of the [wiki:Bibliography] Bibliography page. Now you can find more data like pdf's and presentations there!
     56        * A paper named "Bisimulation minimization mostly speeds up probabilistic model checking." was submitted to [http://www.doc.ic.ac.uk/tacas07/ TACAS'07] [attachment: PDF] [attachment: BibTex]
     57
     58==== 30.10.2006 ====
     59Now there is a [http://en.wikipedia.org/wiki/Markov_Reward_Model_Checker_(MRMC) Wikipedia page for MRMC].
     60 
     61==== 25.10.2006 ====
     62The new MRMC release is coming soon, stay tuned!
     63The next release will contain but won't be limited to the following features:
     64
     65        * Support of formula dependent and formula independent lumping for PCTL, CSL, PRCTL, CSRL logics (Until operators).
     66        * Optimized performance, fixed memory leaks and bugs.
     67        * Improved command-line parameters support and results output.
     68        * An extended, separately distributed, test suite with NEW performance tests.
     69
     70==== 15.09.2006 ====
     71The paper on "Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability" was presented at [http://www.qest.org/qest2006/ QEST'06] conference, see [attachment: BibTex] for the reference.
     72
     73==== 22.08.2006 ====
     74[wiki:People Tim Kemna] brilliantly defended his Master Thesis: "Bisimulation Minimization and Probabilistic Model Checking", currently we work on integrating these techniques into the next release of MRMC.
     75
     76==== 02.06.2006 ====
     77The paper on "Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability" has been accepted at [http://www.qest.org/qest2006/ QEST'06] conference, see [attachment: BibTex] for the reference.
     78
     79==== 03.03.2006 ====
     80A New MRMC Version (1.1 beta)!
     81We have fixed two vital bugs in the implementation of CSL logic:
     82
     83        * Next operator did not work well.
     84        * The implementation of Interval Until operator was flawed.
     85
     86We would like to thank [http://wwwhome.cs.utwente.nl/~martinez/ Jose Martinez] for detecting these bugs!
     87 
     88==== 24.02.2006 ====
     89A smart PhD student and a friend of mine, [http://wwwhome.cs.utwente.nl/~martinez/ Jose Martinez], has found a potential flaw in MRMC for CSL model checking which is detectable using the Hubble case study (a part of [http://www7.informatik.uni-erlangen.de/etmcc/ ETMCC] distribution). We are investigating this right now. If it is really a problem then the fix will follow immediately.
     90
     91==== 14.02.2006 ====
     92The Downloads section now works in a NORMAL mode. You may start downloading sources of MRMC right away! Also some documentation was added to the [wiki:Specification Spec.] section.
     93
     94By the way, Happy Valentine's Day!
     95
     96==== 10.02.2006 ====
     97The Downloads section now works in a test mode. You may receive the distribution dummy and put yourself on the list for getting the real MRMC version :)!
     98
     99==== 09.02.2006 ====
     100An important memory leakage in MRMC was found and eliminated by Tim Kemna, who is our new [wiki:people group member]. Great work, Tim!
     101
     102==== 04.02.2006 ====
     103This MRMC Home-page has been started!
     104
     105==== 03.01.2006 ====
     106The CTIT technical report on [attachment: "Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability"] has been published, see [attachment: BibTex] for the reference.
    39107
    40108=== [wiki:news_2005 News archive of 2005] ===