2137 search results - page 48 / 428 » Proving Abstract Non-interference |
142
Voted
CADE
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known c...
131
Voted
CONCUR
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
247
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
97
Voted
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In argumentation theory, Dung’s abstract framework provides a unifying view of several alternative semantics based on the notion of extension. Recently, a new semantics...
119
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checkiterative counterexample-guided abstraction refinement, ...