10870 search results - page 355 / 2174 » Model Checking Programs |
175
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...
198
click to vote
ECOOP
2005
Springer
16 years 9 days ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
206
click to vote
PASTE
2005
ACM
16 years 10 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
190
click to vote
PLDI
2003
ACM
16 years 1 days ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
197
click to vote
MSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...