4036 search results - page 323 / 808 » Formal Methods |
151
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
The SPEED project addresses the problem of computing symbolic computational complexity bounds of procedures in terms of their inputs. We discuss some of the challenges that arise a...
203
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For inst...
127
Voted
CAV
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...
162
click to vote
CAV
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under boun...
158
click to vote
IFL
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...