Attributes | Values |
---|
rdf:type
| |
rdfs:seeAlso
| |
Description
| - CPAlien is a tool for verifying programs written in C language, manipulating with dynamic data structures. It is an instance of the Configurable Program Analysis based on the Symbolic Memory Graph formalism. The tool is implemented using the CPAChecker framework, developed and provided by University of Passau.
- CPAlien is a tool for verifying programs written in C language, manipulating with dynamic data structures. It is an instance of the Configurable Program Analysis based on the Symbolic Memory Graph formalism. The tool is implemented using the CPAChecker framework, developed and provided by University of Passau. (en)
|
Title
| - CPAlien: Configurable Program Analysis over Symbolic Memory Graphs
- CPAlien: Configurable Program Analysis over Symbolic Memory Graphs (en)
|
skos:prefLabel
| - CPAlien: Configurable Program Analysis over Symbolic Memory Graphs
- CPAlien: Configurable Program Analysis over Symbolic Memory Graphs (en)
|
skos:notation
| - RIV/00216305:26230/13:PR27330!RIV14-GA0-26230___
|
http://linked.open...avai/predkladatel
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(ED1.1.00/02.0070), P(GAP103/10/0306), S
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...onomickeParametry
| - Software je dostupný pod licencí Apache License 2.0
|
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216305:26230/13:PR27330
|
http://linked.open...terniIdentifikace
| |
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - cpachecker, symbolic memory graphs, program verification, C language, static analysis (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...echnickeParametry
| - - Software je modul pro framework CPAChecker - Vývoj probíhá v repozitáři frameworku CPAChecker - Software je vyvíjen v jazyce Java - Software je šířen pod Apache licencí verze 2.0. Její znění je na http://www.apache.org/licenses/LICENSE-2.0.html
|
http://linked.open...iv/tvurceVysledku
| - Vojnar, Tomáš
- Müller, Petr
|
http://linked.open...avai/riv/vlastnik
| |
http://linked.open...itiJinymSubjektem
| |
http://localhost/t...ganizacniJednotka
| |