949 search results - page 139 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
CAV
2004
Springer
14 years 2 months ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
SPIN
2000
Springer
14 years 10 days ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
DSN
2004
IEEE
14 years 16 days ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
ATVA
2006
Springer
14 years 16 days ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
We present a new method for relevance feedback in image retrieval and a scheme to learn weighted distances which can be used in combination with different relevance feedback metho...