2881 search results - page 300 / 577 » Model Checking for Programming Languages using Verisoft |
181
click to vote
ICLP
2004
Springer
16 years 9 hour ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
150
click to vote
FOAL
2009
ACM
16 years 1 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
173
click to vote
IFIP
2007
Springer
16 years 23 days ago
2007
Springer
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...
171
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
202
click to vote
ICPADS
1996
IEEE
15 years 10 months ago
1996
IEEE
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...