497 search results - page 2 / 100 » On combinations of local theory extensions |
FROCOS
2011
Springer
12 years 4 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
FROCOS
2005
Springer
13 years 10 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
AVSS
2009
IEEE
13 years 11 months ago
2009
IEEE
—Fog is a local meteorological phenomena which drastically reduces the visibility range. Fog detection and visibility range estimation are critical tasks for road operators who n...
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
GG
2004
Springer
13 years 9 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...