12 search results - page 3 / 3 » An Abstract Interpretation Approach for Enhancing the Java B... |
MSR
2006
ACM
13 years 11 months ago
2006
ACM
When analyzing the evolution history of a software project, we wish to develop results that generalize across projects. One approach is to analyze design patterns, permitting char...
SPIN
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...