Quantitative Analysis of Software: Challenges and Recent Advances

Sanjit A. Seshia. Quantitative Analysis of Software: Challenges and Recent Advances. In 7th International Workshop on Formal Aspects of Component Software (FACS), October 2010.

Download

[pdf] 

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.

BibTeX

@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.},
}