1189 search results - page 91 / 238 » The Quotient of an Abstract Interpretation |
182
click to vote
CSFW
2011
IEEE
14 years 14 days ago
2011
IEEE
—This paper explores the idea of knowledge-based security policies, which are used to decide whether to answer queries over secret data based on an estimation of the querier’s ...
90
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
91
Voted
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
110
Voted
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
88
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— In [1] a balanced canonical form for continuoustime lossless systems was presented. This form has a tridiagonal dynamical matrix A and the useful property that the corr...