4167 search results - page 207 / 834 » Regression model checking |
113
Voted
KBSE
2008
IEEE
15 years 10 months 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...
142
Voted
GI
2009
Springer
15 years 1 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...
118
Voted
DAGM
2007
Springer
15 years 9 months 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...
111
Voted
MJ
2006
15 years 3 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 ...
113
Voted
UC
2005
Springer
15 years 9 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...