University of Birmingham > Talks@bham > Computer Science Lunch Time Talk Series > Quantitative Verification: Correctness, Reliability and Beyond

Quantitative Verification: Correctness, Reliability and Beyond

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Christine Zarges.

Verification techniques such as model checking provide a means to rigorously check the correctness of computerised systems, or to identify flaws in their designs. Quantitative verification generalises this approach by incorporating quantitative aspects of system behaviour such as probability, time, resource usage or rewards. This leads to techniques that check not just correctness, but a variety of quantitative measures such as reliability, performance and many others. This talk will introduce quantitative verification and illustrate its applicability to several diverse areas, from cellular signalling pathways to protocols for energy management in Microgrids.

This talk is part of the Computer Science Lunch Time Talk Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on from the University of Cambridge.