QUASY: Quantitative Synthesis Tool.

Krishnendu Chatterjee Thomas A. Henzinger Barbara Jobstmann Rohit Singh

Published in: TACAS (2011)

Keyphrases

information retrieval
genetic algorithm
search algorithm
quantitative and qualitative
machine learning
metadata
database systems
digital libraries
trade off
qualitative and quantitative
analysis tool
program synthesis