10870 search results - page 151 / 2174 » Model Checking Programs |
134
Voted
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
141
click to vote
SAM
2004
15 years 3 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...
108
Voted
QEST
2009
IEEE
15 years 8 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
119
click to vote
IMSCCS
2007
IEEE
15 years 8 months ago
2007
IEEE
In radiation environments, alpha particles, cosmic rays and solar wind flux can cause a single event upset (SEU), which is one of the major sources of bit-flips in digital electro...
131
Voted
AAAI
2006
15 years 3 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...