715 search results - page 108 / 143 » Application of Formal Methods to the Development of a Softwa... |
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
ISSTA
2000
ACM
14 years 1 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
PICS
2000
13 years 10 months ago
2000
Traditionally, quantitative image quality analytical methods rely on large hardware in fixed installations. There are many situations when portability is required, where these met...
CAV
2008
Springer
13 years 11 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
FIRBPERF
2005
IEEE
14 years 2 months ago
2005
IEEE
Performance model building is essential to predict the ability of an application to satisfy given levels of performance or to support the search for viable alternatives. Using aut...