448 search results - page 56 / 90 » A Meta-Method for Formal Method Integration |
147
click to vote
JUCS
2002
15 years 2 months ago
2002
: Managing image data in a database system using metadata has been practiced since the last two decades. However, describing an image fully and adequately with metadata is practica...
126
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
142
click to vote
IFM
2005
Springer
15 years 8 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
146
click to vote
IEEEHPCS
2010
15 years 1 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
101
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...