106 search results - page 7 / 22 » On Verifying Complex Properties using Symbolic Shape Analysi... |
69
Voted
EUROMICRO
2000
IEEE
15 years 3 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Many object surfaces are composed of layers of different physical substances, known as layered surfaces. These surfaces, such as patinas, water colors, and wall paintings, have mo...
116
click to vote
TRS
2008
14 years 10 months ago
2008
A popular view is that the brain works in a similar way to a digital computer or a Universal Turing Machine by processing symbols. Psychophysical experiments and our amazing capabi...
93
Voted
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...