MC2

MaRDI QIDQ24807swMATHFDO

Official website http://people.brunel.ac.uk/~csstdrg/courses/glasgow_courses/website_sysbiomres/software/mc2/

Cited in

(7)

• Query-based verification of qualitative trends and oscillations in biochemical systems
• Comparative analysis of statistical model checking tools
• Conventional verification for unconventional computing: a genetic XOR gate example
• COSMOS
• Ymer
• PLASMA-lab
• Simulative model checking of steady state and time-unbounded temporal operators

This page was built for software: MC2