1914 search results - page 182 / 383 » Verification by Abstract Interpretation |
147
click to vote
ISMVL
2007
IEEE
15 years 11 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
157
click to vote
GPCE
2007
Springer
15 years 11 months ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
203
click to vote
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
148
click to vote
CAISE
2009
Springer
15 years 9 months ago
2009
Springer
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...
144
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...