2584 search results - page 114 / 517 » On the Forward Checking Algorithm |
ECBS
2003
IEEE
14 years 1 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
ICSE
2003
IEEE-ACM
14 years 1 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
ACSD
1998
IEEE
14 years 11 days ago
1998
IEEE
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
TSD
2000
Springer
13 years 11 months ago
2000
Springer
In text processing systems German words require special treatment because of the possibility to form compound words as a combination of existing words. To this end, a universal wor...