280 search results - page 7 / 56 » Automating Feature-Oriented Domain Analysis |
128
Voted
EUMAS
2006
15 years 2 months ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...
112
Voted
CADE
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
101
Voted
ICLP
1999
Springer
15 years 5 months ago
1999
Springer
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available...
118
Voted
CADE
2002
Springer
16 years 29 days ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
106
Voted
TCAD
2008
15 years 17 days ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...