440 search results - page 54 / 88 » Predicate Abstraction with Indexed Predicates |
132
click to vote
RAID
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. Signature-based input filtering is an important and widely deployed defense. But current signature generation methods have limited coverage and the generated signatures ...
173
click to vote
PRDC
2007
IEEE
16 years 6 days ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
135
click to vote
CSL
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...
145
click to vote
FMCAD
2007
Springer
16 years 3 days ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
146
click to vote
FSTTCS
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...