The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Better Quality in Synthesis through Quantitative Objectives
[article]
2013
arXiv
pre-print
Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another. For example, if a specification asks that every request is followed by a response, one may prefer an implementation that generates responses quickly but does not generate unnecessary responses. We use quantitative properties to measure the "goodness" of an implementation. Using games with corresponding quantitative objectives,
arXiv:0904.2638v3
fatcat:gcqmieoj45cxtcthazbc2f7f6u