Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/SPIN_model_checker> ?p ?o }
Showing triples 1 to 46 of
46
with 100 triples per page.
- SPIN_model_checker abstract "SPIN is a general tool for verifying the correctness of distributed software models in a rigorous and mostly automated fashion. It was written by Gerard J. Holzmann and others in the original Unix group of the Computing Sciences Research Center at Bell Labs, beginning in 1980. The software has been available freely since 1991, and continues to evolve to keep pace with new developments in the field.Systems to be verified are described in Promela (Process Meta Language), which supports modeling of asynchronous distributed algorithms as non-deterministic automata (SPIN stands for "Simple Promela Interpreter"). Properties to be verified are expressed as Linear Temporal Logic (LTL) formulas, which are negated and then converted into Büchi automata as part of the model-checking algorithm. In addition to model-checking, SPIN can also operate as a simulator, following one possible execution path through the system and presenting the resulting execution trace to the user.Unlike many model-checkers, SPIN does not actually perform model-checking itself, but instead generates C sources for a problem-specific model checker. This technique saves memory and improves performance, while also allowing the direct insertion of chunks of C code into the model. SPIN also offers a large number of options to further speed up the model-checking process and save memory, such as:partial order reduction;state compression;bitstate hashing (instead of storing whole states, only their hash code is remembered in a bitfield; this saves a lot of memory but voids completeness);weak fairness enforcement.Since 1995, (approximately) annual SPIN workshops have been held for SPIN users, researchers, and those generally interested in model checking.In 2001, the Association for Computing Machinery awarded SPIN its System Software Award.".
- SPIN_model_checker wikiPageExternalLink www.spinroot.com.
- SPIN_model_checker wikiPageID "1211533".
- SPIN_model_checker wikiPageLength "2623".
- SPIN_model_checker wikiPageOutDegree "19".
- SPIN_model_checker wikiPageRevisionID "625070739".
- SPIN_model_checker wikiPageWikiLink Addison-Wesley.
- SPIN_model_checker wikiPageWikiLink Association_for_Computing_Machinery.
- SPIN_model_checker wikiPageWikiLink Asynchrony.
- SPIN_model_checker wikiPageWikiLink Automata_theory.
- SPIN_model_checker wikiPageWikiLink Bell_Labs.
- SPIN_model_checker wikiPageWikiLink Bitstate_hashing.
- SPIN_model_checker wikiPageWikiLink Büchi_automaton.
- SPIN_model_checker wikiPageWikiLink C_(programming_language).
- SPIN_model_checker wikiPageWikiLink Category:Model_checkers.
- SPIN_model_checker wikiPageWikiLink Completeness_(knowledge_bases).
- SPIN_model_checker wikiPageWikiLink Data_compression.
- SPIN_model_checker wikiPageWikiLink Distributed_algorithm.
- SPIN_model_checker wikiPageWikiLink Gerard_J._Holzmann.
- SPIN_model_checker wikiPageWikiLink Linear_Temporal_Logic.
- SPIN_model_checker wikiPageWikiLink Linear_temporal_logic.
- SPIN_model_checker wikiPageWikiLink Model_checking.
- SPIN_model_checker wikiPageWikiLink Nondeterministic_algorithm.
- SPIN_model_checker wikiPageWikiLink NuSMV.
- SPIN_model_checker wikiPageWikiLink Partial_order_reduction.
- SPIN_model_checker wikiPageWikiLink Promela.
- SPIN_model_checker wikiPageWikiLinkText "SPIN model checker".
- SPIN_model_checker wikiPageWikiLinkText "SPIN".
- SPIN_model_checker wikiPageWikiLinkText "Spin".
- SPIN_model_checker hasPhotoCollection SPIN_model_checker.
- SPIN_model_checker subject Category:Model_checkers.
- SPIN_model_checker hypernym Tool.
- SPIN_model_checker type Software.
- SPIN_model_checker type Tool.
- SPIN_model_checker comment "SPIN is a general tool for verifying the correctness of distributed software models in a rigorous and mostly automated fashion. It was written by Gerard J. Holzmann and others in the original Unix group of the Computing Sciences Research Center at Bell Labs, beginning in 1980.".
- SPIN_model_checker label "SPIN model checker".
- SPIN_model_checker sameAs SPIN.
- SPIN_model_checker sameAs SPINモデルチェッカ.
- SPIN_model_checker sameAs SPIN.
- SPIN_model_checker sameAs m.04hnrd.
- SPIN_model_checker sameAs SPIN_(верификатор).
- SPIN_model_checker sameAs สปิน_(ซอฟต์แวร์).
- SPIN_model_checker sameAs Q959513.
- SPIN_model_checker sameAs Q959513.
- SPIN_model_checker wasDerivedFrom SPIN_model_checker?oldid=625070739.
- SPIN_model_checker isPrimaryTopicOf SPIN_model_checker.