Ticket #36 (new enhancement)
Opened 2 years ago
Add simulation engine for PCTL.
| Reported by: | ivan.zapreev | Owned by: | ivan.zapreev |
|---|---|---|---|
| Priority: | major | Milestone: | MRMC future |
| Component: | Simulation Engine | Version: | 1.3 |
| Keywords: | Cc: | nguyen, christinajansen |
Description
In principle all algorithms developed for model-checking CSL properties apply for PCTL. We need to extend MRMC to be able to model check PCTL with the use of discrete event simulation.
Note: See
TracTickets for help on using
tickets.
