4719 search results - page 292 / 944 » Newtonian program analysis |
151
Voted
SEFM
2007
IEEE
16 years 8 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
232
click to vote
MLG
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
152
click to vote
AICT
2006
IEEE
16 years 2 days ago
2006
IEEE
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...
165
click to vote
EUROPAR
2005
Springer
15 years 11 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
138
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...