Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Temporal_logic_in_finite-state_verification> ?p ?o }
Showing triples 1 to 45 of
45
with 100 triples per page.
- Temporal_logic_in_finite-state_verification 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.".
- Temporal_logic_in_finite-state_verification wikiPageID "589076".
- Temporal_logic_in_finite-state_verification wikiPageLength "2484".
- Temporal_logic_in_finite-state_verification wikiPageOutDegree "22".
- Temporal_logic_in_finite-state_verification wikiPageRevisionID "599379275".
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Amir_Pnueli.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Category:Automata_theory.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Category:Model_checking.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Category:Temporal_logic.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Design.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Finite-state_machine.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Formal_methods.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Formal_verification.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Formula.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Intelligent_verification.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Kripke_structure.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Kripke_structure_(model_checking).
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Linear_temporal_logic.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Model_checking.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Requirement.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Requirements.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Software.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Specification.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Specification_(technical_standard).
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Springer_Science+Business_Media.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Temporal_logic.
- Temporal_logic_in_finite-state_verification wikiPageWikiLinkText "Temporal logic in finite-state verification".
- Temporal_logic_in_finite-state_verification hasPhotoCollection Temporal_logic_in_finite-state_verification.
- Temporal_logic_in_finite-state_verification wikiPageUsesTemplate Template:Essay.
- Temporal_logic_in_finite-state_verification wikiPageUsesTemplate Template:Reflist.
- Temporal_logic_in_finite-state_verification subject Category:Automata_theory.
- Temporal_logic_in_finite-state_verification subject Category:Model_checking.
- Temporal_logic_in_finite-state_verification subject Category:Temporal_logic.
- Temporal_logic_in_finite-state_verification type Article.
- Temporal_logic_in_finite-state_verification type Language.
- Temporal_logic_in_finite-state_verification type Article.
- Temporal_logic_in_finite-state_verification type Language.
- Temporal_logic_in_finite-state_verification type Method.
- Temporal_logic_in_finite-state_verification 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.".
- Temporal_logic_in_finite-state_verification label "Temporal logic in finite-state verification".
- Temporal_logic_in_finite-state_verification sameAs Χρονική_λογική_και_επαλήθευση_πεπερασμένων_καταστάσεων.
- Temporal_logic_in_finite-state_verification sameAs Q7698924.
- Temporal_logic_in_finite-state_verification sameAs Q7698924.
- Temporal_logic_in_finite-state_verification wasDerivedFrom Temporal_logic_in_finite-state_verification?oldid=599379275.
- Temporal_logic_in_finite-state_verification isPrimaryTopicOf Temporal_logic_in_finite-state_verification.