Opened 10 years ago

#36 new enhancement

Add simulation engine for PCTL.

Reported by: Dr. Ivan S. Zapreev Owned by: Dr. Ivan S. Zapreev
Priority: major Milestone: MRMC future
Component: Simulation Engine Version: 1.3
Keywords: Cc: Viet Yen Nguyen, Christina Jansen

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.

Change History (0)

Note: See TracTickets for help on using tickets.