10870 search results - page 431 / 2174 » Model Checking Programs |
179
Voted
ICECCS
2000
IEEE
15 years 12 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
222
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
The last few years have seen the development of statically typed object based (also called prototype-based) programming languages. Two proposals, namely the Lambda Calculus of Obje...
172
Voted
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
A conservative implementation of a predicate returns true only if the exact predicate is true. That is, we accept a one sided error for the implementation. For geometric predicate...
185
Voted
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
We report our experience in implementing type and memory safety in an efficient manner for sensor network nodes running TinyOS: tiny embedded systems running legacy, C-like code. ...
252
click to vote
KBSE
2010
IEEE
15 years 6 months ago
2010
IEEE
A Software Product Line (SPL) is a family of programs. Testing an SPL is a challenge because the number of programs to examine may be exponential in the number of features. Howeve...