1492 search results - page 40 / 299 » Automatic Software Model Checking Using CLP |
127
click to vote
EDBTW
2006
Springer
15 years 3 months ago
2006
Springer
The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. T...
123
click to vote
PRDC
2007
IEEE
15 years 7 months 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...
105
click to vote
DSN
2004
IEEE
15 years 5 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
103
click to vote
QSIC
2007
IEEE
15 years 7 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
108
click to vote
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...