Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Temporal_logic_in_finite-state_verification> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items 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 wikiPageRevisionID "599379275".
- Temporal_logic_in_finite-state_verification hasPhotoCollection Temporal_logic_in_finite-state_verification.
- 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 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.