A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit <a rel="external noopener" href="https://link.springer.com/content/pdf/10.1007%2F978-3-642-28756-5_41.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Block Abstraction Memoization for CPAchecker
[chapter]
<span title="">2012</span>
<i title="Springer Berlin Heidelberg">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
</i>
Preserved Fulltext
Block Abstraction Memoization (ABM) is a technique in software model checking that exploits the modularity of programs during verification by caching. To this end, ABM records the results of block analyses and reuses them if possible when revisiting the same block again. In this paper we present an implementation of ABM into the predicate-analysis component of the software-verification framework CPAchecker. With our participation at the Competition on Software Verification we aim at providing
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-28756-5_41">doi:10.1007/978-3-642-28756-5_41</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lyezm2zrlfamfdah6kitsztx64">fatcat:lyezm2zrlfamfdah6kitsztx64</a>
</span>
more »
... idence that ABM can not only substantially increase the efficiency of predicate analysis but also enables verification of a wider range of programs.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030070637/https://link.springer.com/content/pdf/10.1007%2F978-3-642-28756-5_41.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/b3/aa/b3aa88199adb452e427bbf3ae9d7885ebe5eecf3.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-28756-5_41">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>