4167 search results - page 207 / 834 » Regression model checking |
145
click to vote
KBSE
2008
IEEE
16 years 26 days ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...
181
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
163
click to vote
DAGM
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This contribution presents a novel approach to the challenging problem of model selection in motion estimation from sequences of images. New light is cast on parametric m...
149
click to vote
MJ
2006
15 years 6 months ago
2006
In this paper, we describe a hybrid tool for hardware formal verification that links the HOL (higher-order logic) theorem prover and (multiway decision graphs) model checker. Our ...
155
click to vote
UC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...