About: DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs

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

About: DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs 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
Description	We present a new release of the parallel and distributed LTL model checker DIVINE. The major improvements in this new release is an extension of the class of systems that may be verified with the model checker, while preserving the unique DIVINE feature, namely parallel and distributed-memory processing. Version 3.0 comes with support for direct model checking of (closed) multithreaded C/C++ programs, full untimed-LTL model checking of timed automata, and a general-purpose framework for interfacing with arbitrary system modelling tools. We present a new release of the parallel and distributed LTL model checker DIVINE. The major improvements in this new release is an extension of the class of systems that may be verified with the model checker, while preserving the unique DIVINE feature, namely parallel and distributed-memory processing. Version 3.0 comes with support for direct model checking of (closed) multithreaded C/C++ programs, full untimed-LTL model checking of timed automata, and a general-purpose framework for interfacing with arbitrary system modelling tools. (en)
Title	DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs (en)
skos:prefLabel	DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs (en)
skos:notation	RIV/00216224:14330/13:00066526!RIV14-MSM-14330___
http://linked.open...avai/predkladatel	Fakulta informatiky
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(GAP202/11/0312), S
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Havlíček, Jan Kriho, Jan Havel, Vojtěch Lenčo, Milan Štill, Vladimír Weiser, Jiří Barnat, Jiří Brim, Luboš Ročkai, Petr
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
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...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	70073
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/13:00066526
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	model checking; LLVM; C++; C; LTL; timed automata (en)
http://linked.open.../riv/klicoveSlovo	LTL model checking C++ LLVM C timed automata
http://linked.open...ontrolniKodProRIV	[6A6A8781BB17]
http://linked.open...v/mistoKonaniAkce	Heidelberg
http://linked.open...i/riv/mistoVydani	Heidelberg
http://linked.open...i/riv/nazevZdroje	Computer Aided Verification 2013
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	9 (xsd:int)
http://linked.open...cetTvurcuVysledku	9 (xsd:int)
http://linked.open...vavai/riv/projekt	Software Components in Embedded Systems: Development and Verification
http://linked.open...UplatneniVysledku	2013
http://linked.open...iv/tvurceVysledku	Barnat, Jiří Brim, Luboš Havlíček, Jan Ročkai, Petr Havel, Vojtěch Kriho, Jan Lenčo, Milan Weiser, Jiří Štill, Vladimír
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2013-01-01 (xsd:date)
issn	0302-9743
number of pages	6 (xsd:int)
http://bibframe.org/vocab/doi	10.1007/978-3-642-39799-8_60
http://purl.org/ne...btex#hasPublisher	Springer-Verlag
https://schema.org/isbn	9783642397981
http://localhost/t...ganizacniJednotka	14330

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, 44 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software