IEEE - Institute of Electrical and Electronics Engineers, Inc. - Compositional Quantitative Reasoning

Third International Conference on the Quantitative Evaluation of Systems

Author(s): K. Chatterjee ; L. de Alfaro ; M. Faella ; T.A. Henzinger ; R. Majumdar ; M. Stoelinga
Sponsor(s): IEEE CPS
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Riverside, CA, USA
Conference Date: 11 September 2006
Page(s): 179 - 188
ISBN (Paper): 0-7695-2665-9
DOI: 10.1109/QEST.2006.11
Regular:

We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantitative system properties, such... View More

Advertisement