IQon (Incremental quantitative verification of stochastic regular expressions)

Iqon constitutes of three main components such as

• OPG parser,
• a probabilisitic verification computation and
• evolution framework.