66 search results - page 14 / 14 » Verifying safety properties using separation and heterogeneo... |
111
Voted
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...