2203 search results - page 169 / 441 » Temporal Abstract Interpretation |
132
click to vote
CASSIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
132
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
147
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
157
Voted
PAAMS
2010
Springer
15 years 1 months ago
2010
Springer
This presents a study in which a high level abstract architecture was used to design open multi-agent systems and virtual organizations that offer services with temporal constraint...
107
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...