Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/CHESS_model_checker> ?p ?o }
Showing triples 1 to 31 of
31
with 100 triples per page.
- CHESS_model_checker abstract "CHESS is a software model checker for finding errors/heisenbugs in multithreaded software by systematic exploration of thread schedules. It finds errors, such as data-races, deadlocks, livelocks, and data-corruption induced access violations, that are extremely hard to find with current testing tools. Once CHESS locates an error, it provides a fully repeatable execution of the program leading to the error, thus greatly aiding the debugging process.CHESS can be used for testing concurrent software, as an alternative to stress testing.".
- CHESS_model_checker wikiPageExternalLink cc950526.aspx.
- CHESS_model_checker wikiPageExternalLink CHESS.
- CHESS_model_checker wikiPageID "16919892".
- CHESS_model_checker wikiPageLength "915".
- CHESS_model_checker wikiPageOutDegree "5".
- CHESS_model_checker wikiPageRevisionID "578644663".
- CHESS_model_checker wikiPageWikiLink Category:Model_checkers.
- CHESS_model_checker wikiPageWikiLink Deadlock.
- CHESS_model_checker wikiPageWikiLink Heisenbug.
- CHESS_model_checker wikiPageWikiLink Model_checking.
- CHESS_model_checker wikiPageWikiLink Software.
- CHESS_model_checker wikiPageWikiLinkText "CHESS model checker".
- CHESS_model_checker wikiPageWikiLinkText "CHESS".
- CHESS_model_checker wikiPageUsesTemplate Template:Multiple_issues.
- CHESS_model_checker wikiPageUsesTemplate Template:No_footnotes.
- CHESS_model_checker wikiPageUsesTemplate Template:Portal.
- CHESS_model_checker wikiPageUsesTemplate Template:Primary_sources.
- CHESS_model_checker wikiPageUsesTemplate Template:Programming-software-stub.
- CHESS_model_checker subject Category:Model_checkers.
- CHESS_model_checker hypernym Checker.
- CHESS_model_checker type Software.
- CHESS_model_checker type Tool.
- CHESS_model_checker comment "CHESS is a software model checker for finding errors/heisenbugs in multithreaded software by systematic exploration of thread schedules. It finds errors, such as data-races, deadlocks, livelocks, and data-corruption induced access violations, that are extremely hard to find with current testing tools.".
- CHESS_model_checker label "CHESS model checker".
- CHESS_model_checker sameAs Q4035620.
- CHESS_model_checker sameAs m.04125kg.
- CHESS_model_checker sameAs CHESS_(динамический_анализатор).
- CHESS_model_checker sameAs Q4035620.
- CHESS_model_checker wasDerivedFrom CHESS_model_checker?oldid=578644663.
- CHESS_model_checker isPrimaryTopicOf CHESS_model_checker.