Quantitative Formal Methods:
Theory and Applications
- workshop of FM 2009 -
Eindhoven, The Netherlands
November 3, 2009
Quantitative Formal Methods deals with systems whose behaviour of interest is more than the traditional Boolean "correct" or "incorrect" judgment. That includes timing (whether discrete, continuous or hybrid), as well as probabilistic aspects of success or failure including cost and reward, and quantified information flow.
The major challenge for researchers is to develop quantitative techniques that are both supple and relevant: the former is important because theories that amplify our reasoning powers are the key to understanding system behaviour; the latter is important because our ultimate goal is to improve the practice of developing, deploying and certifying actual running software in the field.
The proceedings of QFM'09 will be published as a
volume of the EPTCS electronic journal.
Authors of selected papers will be invited after the workshop to submit an
extended version for publication in a special issue of the Journal of Logic
and Algebraic Programming - Elsevier.