Omslagsbillede

CPAchecker: A Tool for Configurable Software Verification

Guardado en:
Udgivet i:arXiv.org (Jan 30, 2009), p. n/a
Hovedforfatter: Beyer, Dirk
Andre forfattere: Keremoglu, M Erkan
Udgivet:
Cornell University Library, arXiv.org
Fag:
Algorithms
Program verification (computers)
Source code
Configurable programs
Domains
Software
Online adgang:Citation/Abstract
Full text outside of ProQuest
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!