@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@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.},
}