About: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc/
Description	DA-BMC is a tool chain that allows one to combine dynamic analysis and bounded model checking for finding synchronisation errors in concurrent Java programs. DA-BMC is a tool chain that allows one to combine dynamic analysis and bounded model checking for finding synchronisation errors in concurrent Java programs. (en)
Title	A Tool Chain Combining Dynamic Analysis and Bounded Model Checking A Tool Chain Combining Dynamic Analysis and Bounded Model Checking (en)
skos:prefLabel	A Tool Chain Combining Dynamic Analysis and Bounded Model Checking A Tool Chain Combining Dynamic Analysis and Bounded Model Checking (en)
skos:notation	RIV/00216305:26230/11:PR25749!RIV12-MSM-26230___
http://linked.open...avai/predkladatel	Fakulta informačních technologií
http://linked.open...avai/riv/aktivita	P S Z
http://linked.open...avai/riv/aktivity	P(ED1.1.00/02.0070), P(GAP103/10/0306), P(OC10009), S, Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat	2012
http://linked.open...aciTvurceVysledku	Hrubá, Vendula Křena, Bohuslav Fiedor, Jan Vojnar, Tomáš
http://linked.open.../riv/druhVysledku	R - Software
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...onomickeParametry	Software je volně dostupný.
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	184226
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/11:PR25749
http://linked.open...terniIdentifikace	DA-BMC
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	dynamic analysis, bounded model checking, search strategy, Java, verification (en)
http://linked.open.../riv/klicoveSlovo	verification Java bounded model checking dynamic analysis search strategy
http://linked.open...ontrolniKodProRIV	[198A344864C4]
http://linked.open.../licencniPoplatek	N - Poskytovatel licence na výsledek nepožaduje licenční poplatek
http://linked.open...okalizaceVysledku	http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc/
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	4 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...vavai/riv/projekt	IT4Innovations Centre of Excellence Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit
http://linked.open...UplatneniVysledku	2011
http://linked.open...echnickeParametry	- Implementovaný v programovacím jazyce Java. - Jedna část systému je implementována na prostředím IBM ConTest a slouží pro detekci možných chyb v synchronizaci a (častečný) záznam chování, které k takové možné chybě vede. - Další části je modul model checkeru JPF, který pomocí listeneru a prohledávací strategie umožňuje navigaci stavovým prostorem pomocí zaznamenané cesty a následné hledání v okolí této cesty, které má potvrdit či vyvrátit, zda byla nalezena opravdová chyba. - Možnost dalšího rozšíření o listenery a různá nastavení prohledávání stavového prostoru a nastavení vlastního model checkeru. Poskytováno pod Freeware licencí VUT v Brně (https://wis.fit.vutbr.cz/FIT/db/dir.php/dr/VZ2007/externiInformace/softwar eNaWebu/Priloha2_rozh23.pdf).
http://linked.open...iv/tvurceVysledku	Fiedor, Jan Hrubá, Vendula Křena, Bohuslav Vojnar, Tomáš
http://linked.open...avai/riv/vlastnik	Vysoké učení technické v Brně
http://linked.open...itiJinymSubjektem	A - Nabytí licence je nutné vždy
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	A Tool Chain Combining Dynamic Analysis and Bounded Model Checking A Tool Chain Combining Dynamic Analysis and Bounded Model Checking

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software