@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{seshia-facs10,
author = {Sanjit A. Seshia},
title = {Quantitative Analysis of Software: Challenges and Recent Advances},
booktitle = {7th International Workshop on Formal Aspects of Component Software (FACS)},
month = "October",
year = {2010},
abstract = {Even with impressive advances in formal methods over the last few decades,
some problems in automatic verification remain challenging. Central amongst these is
the verification of quantitative properties of software such as execution time or energy
usage. This paper discusses the main challenges for quantitative analysis of software
in cyber-physical systems. It also presents a new approach to this problem based on
the combination of inductive inference with deductive reasoning. The approach has
been implemented for timing analysis in a system called GameTime.},
}