Quantitative Formal Methods





Workshop on

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 aim of this workshop is to create a forum where current and new application areas can be discussed together with verification techniques that might apply to them. All researchers with an interest in systems exhibiting quantitative behaviour are welcome. In particular, papers on or related to the following topics are particularly sought:

  • Formal modeling of quantitative behavior: timed, continuous and hybrid, probabilistic, costs and rewards, expected-value

  • Formal verification, testing, analysis as above.

  • Formal analysis of quantitative performance, broadly understood.

  • Industrial case-studies on any (combination) of the above, e.g., hardware verification and performance evaluation, security systems with probabilistic behavior, risk analysis in safety-critical systems, quantitative aspects of wireless networks, etc.

  • Quantitative techniques in refinement, simulation and bisimulation;

  • Quantitative algebraic and rewriting techniques. 


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.


Important dates

Paper submission July 19, 2009
Notification September 11, 2009
Final version October 2, 2009
Workshop November 3, 2009