620 search results - page 3 / 124 » Concrete Abstractions |
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
CASSIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
SOSYM
2008
13 years 8 months ago
2008
The syntax of modeling languages is usually defined in two steps. The abstract syntax identifies modeling concepts whereas the concrete syntax clarifies how these modeling concepts...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level of abstractness of the organisational concepts and ...
ECMDAFA
2005
Springer
14 years 2 months ago
2005
Springer
Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling s. While the definition of the abstract syntax ...