The result's identifiers
Result code in 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>
Result on the web
<a href="https://github.com/d3sformal/panda" target="_blank" >https://github.com/d3sformal/panda</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Panda
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
R - Software
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GP13-12121P" target="_blank" >GP13-12121P: Practical Program Verification Using Combination of Static and Dynamic Analysis</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Internal product ID
D3S-SW-2015-01
Technical parameters
Apache License Version 2.0, January 2004
Economical parameters
n/a
Owner IČO
00216208
Owner name
Univerzita Karlova v Praze