64 search results - page 12 / 13 » Automatic Property Checking for Software: Past, Present and ... |
KBSE
2007
IEEE
13 years 11 months ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
ESOP
2005
Springer
13 years 11 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
ML
2000
ACM
13 years 5 months ago
2000
ACM
A new class of evolutionary computation processes is presented, called Learnable Evolution Model or LEM. In contrast to Darwinian-type evolution that relies on mutation, recombinat...
ICWS
2009
IEEE
14 years 2 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
PPOPP
2009
ACM
14 years 5 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...