A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker

Uloženo v:

Podrobná bibliografie
Vydáno v:	arXiv.org (Dec 15, 2016), p. n/a
Hlavní autor:	Beyer, Dirk
Další autoři:	Friedberger, Karlheinz
Vydáno:	Cornell University Library, arXiv.org
Témata:	Algorithms Program verification (computers) Weight reduction Configurable programs Value analysis Optimization Central processing units > CPUs Model reduction
On-line přístup:	Citation/Abstract Full text outside of ProQuest
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!