Custom Query (14 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Owner Type Priority Milestone
#23 Add SVN notifications new ngyuen defect major MRMC future
#28 PRCTL, lumping: The E operator problem. new Dr. Ivan S. Zapreev defect major MRMC future
#32 The probabilities comparison in the Bisimulation engine. new Christina Jansen enhancement major MRMC future
#33 Improve and unify the error/warning/info messages. new Dr. Ivan S. Zapreev enhancement major MRMC future
#34 Add a possibility to dump the model-checking results new Christina Jansen enhancement major MRMC future
#35 Improving $RESULT and $STATE commands new Christina Jansen enhancement major MRMC future
#36 Add simulation engine for PCTL. new Dr. Ivan S. Zapreev enhancement major MRMC future
#39 Unify source-code comments new Christina Jansen enhancement major MRMC future
#40 Error bounds and the numerical model-checking engine new Dr. Ivan S. Zapreev defect major MRMC future
#41 Improving the architecture of MRMC. new Dr. Ivan S. Zapreev enhancement major MRMC future
#48 Download archives for MRMC distributions new nguyen, ivan.zapreev, christinajansen defect major MRMC future
#49 uCTMDPi: 0-vector for timebound 0 new defect major MRMC future
#44 Additions to web page new nguyen, ivan.zapreev, christinajansen task minor
#47 Adding a test-run report to the test-suite. new enhancement minor MRMC future
Note: See TracQuery for help on using queries.