Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Symbolic_trajectory_evaluation> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- Symbolic_trajectory_evaluation abstract "Symbolic trajectory evaluation (STE) is a lattice-based model checking technology that uses a form of symbolic simulation. STE is essentially used for computer hardware, that is circuit verification. The technique uses abstraction, meaning that details of the circuit behaviour are removed from the circuit model. It was first developed by Carl Seger and Randy Bryant in 1995 as an alternative to \"classical\" symbolic model checking.".
- Symbolic_trajectory_evaluation wikiPageID "15909871".
- Symbolic_trajectory_evaluation wikiPageLength "845".
- Symbolic_trajectory_evaluation wikiPageOutDegree "8".
- Symbolic_trajectory_evaluation wikiPageRevisionID "532244795".
- Symbolic_trajectory_evaluation wikiPageWikiLink Abstraction.
- Symbolic_trajectory_evaluation wikiPageWikiLink Category:Model_checking.
- Symbolic_trajectory_evaluation wikiPageWikiLink Electronic_circuit.
- Symbolic_trajectory_evaluation wikiPageWikiLink Functional_verification.
- Symbolic_trajectory_evaluation wikiPageWikiLink Lattice_(group).
- Symbolic_trajectory_evaluation wikiPageWikiLink Model_checking.
- Symbolic_trajectory_evaluation wikiPageWikiLink Symbolic_simulation.
- Symbolic_trajectory_evaluation wikiPageWikiLinkText "Symbolic trajectory evaluation".
- Symbolic_trajectory_evaluation wikiPageWikiLinkText "symbolic trajectory evaluation".
- Symbolic_trajectory_evaluation wikiPageUsesTemplate Template:Comp-sci-stub.
- Symbolic_trajectory_evaluation wikiPageUsesTemplate Template:Sic.
- Symbolic_trajectory_evaluation subject Category:Model_checking.
- Symbolic_trajectory_evaluation hypernym Technology.
- Symbolic_trajectory_evaluation type Company.
- Symbolic_trajectory_evaluation type Method.
- Symbolic_trajectory_evaluation type Redirect.
- Symbolic_trajectory_evaluation comment "Symbolic trajectory evaluation (STE) is a lattice-based model checking technology that uses a form of symbolic simulation. STE is essentially used for computer hardware, that is circuit verification. The technique uses abstraction, meaning that details of the circuit behaviour are removed from the circuit model. It was first developed by Carl Seger and Randy Bryant in 1995 as an alternative to \"classical\" symbolic model checking.".
- Symbolic_trajectory_evaluation label "Symbolic trajectory evaluation".
- Symbolic_trajectory_evaluation sameAs Q7661193.
- Symbolic_trajectory_evaluation sameAs m.03qfrvv.
- Symbolic_trajectory_evaluation sameAs Q7661193.
- Symbolic_trajectory_evaluation wasDerivedFrom Symbolic_trajectory_evaluation?oldid=532244795.
- Symbolic_trajectory_evaluation isPrimaryTopicOf Symbolic_trajectory_evaluation.