5525 search results - page 31 / 1105 » Verification of Model Transformations |
115
Voted
DAC
2002
ACM
15 years 10 months ago
2002
ACM
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
88
Voted
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
TC
2008
14 years 9 months ago
2008
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
WSC
2007
14 years 12 months ago
2007
In this paper we discuss verification and validation of simulation models. Four different approaches to deciding model validity are described; two different paradigms that relate ...
LISP
2008
14 years 9 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...