12981 search results - page 369 / 2597 » Model Checking and Abstraction |
199
click to vote
RT
2004
Springer
16 years 5 days ago
2004
Springer
ks: Abstraction and Rendering of Sparsely Scanned Outdoor Environments Hui Xu, Nathan Gossett and Baoquan Chen University of Minnesota Digital Technology Center at Twin Cities † ...
175
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
166
click to vote
PPDP
2005
Springer
16 years 10 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
301
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
167
click to vote
CHARME
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...