Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Libdmc> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- Libdmc abstract "Libdmc is a library designed at the LIP6 laboratory. Its goal is to ease the distribution of existing model checkers. It has also been designed to provide the most generic interfaces, without sacrificing performance, thanks to the C++ language.Model checking offers a way to automatically prove that a modeled system behavior is correct by verifying properties. However, it suffers from the so-called state space explosion problem, caused by an intensive use of memory. Many solutions have been proposed to overcome this problem (e.g. symbolic representations with decisions diagrams - like BDD) but these methods can rapidly lead to an unacceptable time consumption.Distributed model checking is a way to overcome both memory and time consumptions by using aggregated resources of a dedicated cluster. However, re-writing an entire model checker is a difficult task, so the approach of libdmc is to give a framework in order to construct a model checker.".
- Libdmc genre Model_checking.
- Libdmc wikiPageID "8133422".
- Libdmc wikiPageRevisionID "601724362".
- Libdmc developer "Alexandre Hamez".
- Libdmc genre Model_checking.
- Libdmc hasPhotoCollection Libdmc.
- Libdmc name "libdmc".
- Libdmc operatingSystem "Posix Systems".
- Libdmc wordnet_type synset-software-noun-1.
- Libdmc subject Category:Model_checkers.
- Libdmc type Abstraction100002137.
- Libdmc type Code106355894.
- Libdmc type CodingSystem106353757.
- Libdmc type Communication100033020.
- Libdmc type Software106566077.
- Libdmc type Writing106359877.
- Libdmc type WrittenCommunication106349220.
- Libdmc type Software.
- Libdmc type Work.
- Libdmc type CreativeWork.
- Libdmc type InformationEntity.
- Libdmc comment "Libdmc is a library designed at the LIP6 laboratory. Its goal is to ease the distribution of existing model checkers. It has also been designed to provide the most generic interfaces, without sacrificing performance, thanks to the C++ language.Model checking offers a way to automatically prove that a modeled system behavior is correct by verifying properties. However, it suffers from the so-called state space explosion problem, caused by an intensive use of memory.".
- Libdmc label "Libdmc".
- Libdmc sameAs m.026stg5.
- Libdmc sameAs Q6540472.
- Libdmc sameAs Q6540472.
- Libdmc sameAs Libdmc.
- Libdmc wasDerivedFrom Libdmc?oldid=601724362.
- Libdmc isPrimaryTopicOf Libdmc.
- Libdmc name "libdmc".