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

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Cyhoeddwyd yn:	arXiv.org (Dec 15, 2016), p. n/a
Prif Awdur:	Beyer, Dirk
Awduron Eraill:	Friedberger, Karlheinz
Cyhoeddwyd:	Cornell University Library, arXiv.org
Pynciau:	Algorithms Program verification (computers) Weight reduction Configurable programs Value analysis Optimization Central processing units > CPUs Model reduction
Mynediad Ar-lein:	Citation/Abstract Full text outside of ProQuest
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Byddwch y cyntaf i adael sylw!