1027 search results - page 38 / 206 » Callgraph properties of executables |
115
click to vote
STTT
2010
14 years 7 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...
120
Voted
EDBT
2012
ACM
13 years 3 months ago
2012
ACM
In recent years, new highly scalable storage systems have significantly contributed to the success of Cloud Computing. Systems like Dynamo or Bigtable have underpinned their abil...
85
Voted
RV
2007
Springer
15 years 6 months ago
2007
Springer
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...
102
Voted
TSE
2002
15 years 9 days ago
2002
The Inequality Necessary Condition Analyzer (INCA) is a finite-state verification tool that has been able to check properties of some very large concurrent systems. INCA checks a p...