1291 search results - page 121 / 259 » Arithmetic program paths |
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
112
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
88
Voted
ENTCS
2007
15 years 21 days ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
97
Voted
NETWORKS
2008
15 years 21 days ago
2008
Node pruning is a commonly used technique for solution acceleration in a dynamic programming network. In pruning, nodes are adaptively removed from the dynamic programming network...
124
click to vote
CADE
2004
Springer
16 years 1 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...