21430 search results - page 25 / 4286 » Abstract Effective Models |
137
click to vote
AOSD
2010
ACM
15 years 5 months ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...
ENTCS
2002
14 years 10 months ago
2002
or Abstraction in Model Checking Mar
SYNTHESE
2008
14 years 10 months ago
2008
g Interpolation Theorem in abstract model theory Jouko V
SCAM
2009
IEEE
15 years 4 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
80
Voted
DATE
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...