Better Quality in Synthesis through Quantitative ObjectivesReport as inadecuate



 Better Quality in Synthesis through Quantitative Objectives


Better Quality in Synthesis through Quantitative Objectives - Download this document for free, or read online. Document in PDF available to download.

Download or read this book online for free in PDF: Better Quality in Synthesis through Quantitative Objectives
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 unnecess

Author: Roderick Bloem; Krishnendu Chatterjee; Thomas A. Henzinger; Barbara Jobstmann

Source: https://archive.org/







Related documents