337 search results - page 63 / 68 » Predicate abstraction for software verification |
84
Voted
DATE
1999
IEEE
15 years 2 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
112
Voted
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
93
Voted
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
We present a technique that improves random test generation by incorporating feedback obtained from executing test inputs as they are created. Our technique builds inputs incremen...
AISC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
87
Voted
LCR
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. As an alternative to message passing, Rochester's InterWeave system allows the programmer to map shared segments into programs spread across heterogeneous, distribut...