1914 search results - page 157 / 383 » Verification by Abstract Interpretation |
122
Voted
CSE
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
105
click to vote
IJFCS
2006
15 years 23 days ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
138
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
111
Voted
FOSSACS
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
PLILP
1993
Springer
15 years 4 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...