CPAchecker
id:
cpachecker-268-5694389
title:
CPAchecker
text:
CPAchecker is a framework and tool for formal software verification, and program analysis, of C programs. Some of its ideas and concepts, for example lazy abstraction, were inherited from the software model checker BLAST.
CPAchecker is based on the idea of configurable program analysis which is a concept that allows expression of both model checking and program analysis with one formalism.
When executed, CPAchecker performs a reachability analysis, i.e., it checks whether a certain state, which
brand slug:
wiki
category slug:
encyclopedia
description:
Software testing tool written in Java
original url:
https://en.wikipedia.org/wiki/CPAchecker
date created:
date modified:
2023-07-05T04:21:36Z
main entity:
{"identifier":"Q5013609","url":"https://www.wikidata.org/entity/Q5013609"}
image:
fields total:
13
integrity:
14