This HTML5 document contains 41 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n16http://localhost/temp/predkladatel/
n11http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n12http://linked.opendata.cz/resource/domain/vavai/subjekt/
n4http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n14http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n19http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n15http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F12%3A10124356%21RIV13-MSM-11320___/
n9http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F12%3A10124356%21RIV13-MSM-11320___
rdf:type
n4:Vysledek skos:Concept
rdfs:seeAlso
http://dx.doi.org/10.1007/978-3-642-33386-6_17
dcterms:description
This paper presents FunFrog, a tool that implements a function summarization approach for software bounded model checking. It uses interpolation-based function summaries as over-approximation of function calls. In every successful verification run, FunFrog generates function summaries of the analyzed program functions and reuses them to reduce the complexity of the successive verification. To prevent reporting spurious errors , the tool incorporates a counter-example-guided refinement loop. Experimental evaluation demonstrates competitiveness of FunFrog with respect to state-of-the-art software model checkers. This paper presents FunFrog, a tool that implements a function summarization approach for software bounded model checking. It uses interpolation-based function summaries as over-approximation of function calls. In every successful verification run, FunFrog generates function summaries of the analyzed program functions and reuses them to reduce the complexity of the successive verification. To prevent reporting spurious errors , the tool incorporates a counter-example-guided refinement loop. Experimental evaluation demonstrates competitiveness of FunFrog with respect to state-of-the-art software model checkers.
dcterms:title
FunFrog: Bounded Model Checking with Interpolation-based Function Summarization FunFrog: Bounded Model Checking with Interpolation-based Function Summarization
skos:prefLabel
FunFrog: Bounded Model Checking with Interpolation-based Function Summarization FunFrog: Bounded Model Checking with Interpolation-based Function Summarization
skos:notation
RIV/00216208:11320/12:10124356!RIV13-MSM-11320___
n4:predkladatel
n12:orjk%3A11320
n3:aktivita
n5:I
n3:aktivity
I
n3:cisloPeriodika
7561
n3:dodaniDat
n9:2013
n3:domaciTvurceVysledku
n11:7923384
n3:druhVysledku
n20:J
n3:duvernostUdaju
n10:S
n3:entitaPredkladatele
n15:predkladatel
n3:idSjednocenehoVysledku
137405
n3:idVysledku
RIV/00216208:11320/12:10124356
n3:jazykVysledku
n19:eng
n3:klicovaSlova
Function Summarization; Craig Interpolation; Bounded Model Checking
n3:klicoveSlovo
n13:Function%20Summarization n13:Craig%20Interpolation n13:Bounded%20Model%20Checking
n3:kodStatuVydavatele
DE - Spolková republika Německo
n3:kontrolniKodProRIV
[E93143B5049B]
n3:nazevZdroje
Lecture Notes in Computer Science
n3:obor
n18:JC
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
3
n3:rokUplatneniVysledku
n9:2012
n3:svazekPeriodika
2012
n3:tvurceVysledku
Sharygina, Natasha Fedyukovich, Grigory Šerý, Ondřej
s:issn
0302-9743
s:numberOfPages
5
n14:doi
10.1007/978-3-642-33386-6_17
n16:organizacniJednotka
11320