4 search results - page 1 / 1 » Implication of assertion graphs in GSTE |
ASPDAC
2005
ACM
13 years 6 months ago
2005
ACM
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...
ICCD
2004
IEEE
14 years 1 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
ICCAD
2003
IEEE
14 years 1 months ago
2003
IEEE
CORR
2007
Springer
13 years 4 months ago
2007
Springer
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the S...