1492 search results - page 57 / 299 » Automatic Software Model Checking Using CLP |
106
Voted
IJCAI
2001
15 years 2 months ago
2001
Recent research has addressed the problem of planning in non-deterministic domains. Classical planning has also been extended to the case of goals that can express temporal proper...
225
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
NDSS
2007
IEEE
15 years 7 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
IPCCC
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...
135
click to vote
ASPLOS
1996
ACM
15 years 5 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...