Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F15%3A10314107" target="_blank" >RIV/00216208:11320/15:10314107 - isvavai.cz</a>
Výsledek na webu
<a href="https://github.com/d3sformal/panda" target="_blank" >https://github.com/d3sformal/panda</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Panda
Popis výsledku v původním jazyce
Panda is an extension for Java Pathfinder, which introduces support for predicate abstraction and various other abstractions of numeric data domains, such as signs and intervals. The name "Panda" stands for Predicate Abstraction in Dynamic Analysis.
Název v anglickém jazyce
Panda
Popis výsledku anglicky
Panda is an extension for Java Pathfinder, which introduces support for predicate abstraction and various other abstractions of numeric data domains, such as signs and intervals. The name "Panda" stands for Predicate Abstraction in Dynamic Analysis.
Klasifikace
Druh
R - Software
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GP13-12121P" target="_blank" >GP13-12121P: Praktická verifikace programů s použitím kombinace statické a dynamické analýzy</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2015
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Interní identifikační kód produktu
D3S-SW-2015-01
Technické parametry
Apache License Version 2.0, January 2004
Ekonomické parametry
n/a
IČO vlastníka výsledku
00216208
Název vlastníka
Univerzita Karlova v Praze