Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q7698924> ?p ?o }
Showing triples 1 to 24 of
24
with 100 triples per page.
- Q7698924 subject Q7036095.
- Q7698924 subject Q8637035.
- Q7698924 subject Q8842299.
- Q7698924 abstract "In finite-state verification, model checkers examine finite-state machines representing concurrent software systems looking for errors in design. Errors are defined as violations of requirements expressed as properties of the system. In the event that the finite-state machine fails to satisfy the property, a model checker is in some cases capable of producing a counterexample – an execution of the system demonstrating how the error occurs.Property specifications are often written as Linear Temporal Logic (LTL) expressions. Once a requirement is expressed as an LTL formula, a model checker can automatically verify this property against the model.".
- Q7698924 wikiPageWikiLink Q1049183.
- Q7698924 wikiPageWikiLink Q1077740.
- Q7698924 wikiPageWikiLink Q1536492.
- Q7698924 wikiPageWikiLink Q1569697.
- Q7698924 wikiPageWikiLink Q173326.
- Q7698924 wikiPageWikiLink Q176452.
- Q7698924 wikiPageWikiLink Q176916.
- Q7698924 wikiPageWikiLink Q2101564.
- Q7698924 wikiPageWikiLink Q6044160.
- Q7698924 wikiPageWikiLink Q7036095.
- Q7698924 wikiPageWikiLink Q7397.
- Q7698924 wikiPageWikiLink Q774228.
- Q7698924 wikiPageWikiLink Q781833.
- Q7698924 wikiPageWikiLink Q82604.
- Q7698924 wikiPageWikiLink Q8637035.
- Q7698924 wikiPageWikiLink Q8842299.
- Q7698924 wikiPageWikiLink Q92649.
- Q7698924 wikiPageWikiLink Q976981.
- Q7698924 comment "In finite-state verification, model checkers examine finite-state machines representing concurrent software systems looking for errors in design. Errors are defined as violations of requirements expressed as properties of the system.".
- Q7698924 label "Temporal logic in finite-state verification".