Quantitative Verification: Correctness, Reliability and Beyond

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

• David Parker, University of Birmingham
• Wednesday 05 December 2012, 13:00-14:00
• UG09, Learning Centre.

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.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Computer Science Lunch Time Talk Series
• UG09, Learning Centre
• computer sience

Note that ex-directory lists are not shown.