Matches in DBpedia 2014 for { <http://dbpedia.org/resource/CHESS_model_checker> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items 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 wikiPageRevisionID "578644663".
- CHESS_model_checker hasPhotoCollection CHESS_model_checker.
- CHESS_model_checker subject Category:Model_checkers.
- CHESS_model_checker type Assistant109815790.
- CHESS_model_checker type Attendant109821831.
- CHESS_model_checker type CausalAgent100007347.
- CHESS_model_checker type Checker109913110.
- CHESS_model_checker type LivingThing100004258.
- CHESS_model_checker type ModelCheckers.
- CHESS_model_checker type Object100002684.
- CHESS_model_checker type Organism100004475.
- CHESS_model_checker type Person100007846.
- CHESS_model_checker type PhysicalEntity100001930.
- CHESS_model_checker type Whole100003553.
- CHESS_model_checker type Worker109632518.
- CHESS_model_checker type YagoLegalActor.
- CHESS_model_checker type YagoLegalActorGeo.
- 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 (динамический анализатор)".
- CHESS_model_checker label "CHESS model checker".
- CHESS_model_checker sameAs m.04125kg.
- CHESS_model_checker sameAs Q4035620.
- CHESS_model_checker sameAs Q4035620.
- CHESS_model_checker sameAs CHESS_model_checker.
- CHESS_model_checker wasDerivedFrom CHESS_model_checker?oldid=578644663.
- CHESS_model_checker isPrimaryTopicOf CHESS_model_checker.