28 search results - page 6 / 6 » Verifying Heap-Manipulating Programs with Unknown Procedure ... |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
ZUM
1997
Springer
13 years 8 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...