5525 search results - page 22 / 1105 » Verification of Model Transformations |
ECEASST
2008
14 years 12 months ago
2008
IANDC
2008
14 years 12 months ago
2008
IJON
2007
14 years 11 months ago
2007
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
WSC
2004
15 years 1 months ago
2004
This paper discusses validation and verification of simulation models. The different approaches to deciding model validity are presented; how model validation and verification rel...