519 search results - page 4 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
93
Voted
TCAD
2010
14 years 7 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
73
Voted
CSL
2007
Springer
15 years 4 months ago
2007
Springer
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...
125
Voted
DLOG
2001
15 years 2 months ago
2001
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
98
Voted
ISSRE
2000
IEEE
15 years 5 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
113
click to vote
ECAI
2004
Springer
15 years 4 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...