5525 search results - page 52 / 1105 » Verification of Model Transformations |
SIBGRAPI
2000
IEEE
15 years 2 months ago
2000
IEEE
This work has as main objective to present an off-line signature verification system. It is basically divided into three parts. The first one demonstrates a pre-processing process,...
ATVA
2007
Springer
15 years 1 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
89
Voted
CORR
2008
Springer
14 years 9 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
56
Voted
WSC
2004
14 years 11 months ago
2004