5525 search results - page 22 / 1105 » Verification of Model Transformations |
100
Voted
ECEASST
2008
15 years 6 months ago
2008
121
Voted
IANDC
2008
15 years 6 months ago
2008
105
Voted
IJON
2007
15 years 6 months ago
2007
180
click to vote
FMCAD
2000
Springer
15 years 10 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...
144
click to vote
WSC
2004
15 years 7 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...