Attributes | Values |
---|
rdf:type
| |
rdfs:seeAlso
| |
Description
| - DIVINE is a modern explicit-state model checker. Building on high-performance algorithms and data structures, it offers unparalleled versatility, scaling from a typical developer’s laptop, up to a high-end compute cluster. What more, it can verify a wide range of languages, including C and C++.
- DIVINE is a modern explicit-state model checker. Building on high-performance algorithms and data structures, it offers unparalleled versatility, scaling from a typical developer’s laptop, up to a high-end compute cluster. What more, it can verify a wide range of languages, including C and C++. (en)
|
Title
| - DIVINE 3.0
- DIVINE 3.0 (en)
|
skos:prefLabel
| - DIVINE 3.0
- DIVINE 3.0 (en)
|
skos:notation
| - RIV/00216224:14330/13:00072941!RIV14-MSM-14330___
|
http://linked.open...avai/predkladatel
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...onomickeParametry
| - Nástroj slouží mimo jiné ke snížení nákladů na ověřování korektnosti softwareových systémů, a to částečnou automatizací procesů náročných na kvalifikovanou práci. Úspory zatím nelze kvantifikovat.
|
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216224:14330/13:00072941
|
http://linked.open...terniIdentifikace
| |
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - distributed-memory computing; LTL model checking; Partial Order Reduction; On-The-Fly verification; LLVM; Software Model Checking (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...echnickeParametry
| - Nástroj pro realizaci verifikace metodou ověřování modelu pro formule LTL (LTL Model Checking) v prostředí s distribuovanou pamětí s podporou redukce velikosti stavového prostoru metodou částečného uspořádání a s podporou ranné detekce chybného běhu. Oproti předchozím verzím je nástroj schopen přímo verifikovat zdrojové kódy C a C++, s možností snadného rozšíření na další programovací jazyky.
|
http://linked.open...iv/tvurceVysledku
| - Barnat, Jiří
- Brim, Luboš
- Havlíček, Jan
- Ročkai, Petr
- Havel, Vojtěch
- Kriho, Jan
- Weiser, Jiří
- Štill, Vladimír
|
http://linked.open...avai/riv/vlastnik
| |
http://linked.open...itiJinymSubjektem
| |
http://localhost/t...ganizacniJednotka
| |