122 search results - page 8 / 25 » Computing Properties of Numerical Imperative Programs by Sym... |
165
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
171
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
154
click to vote
MFCS
1997
Springer
15 years 10 months ago
1997
Springer
It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...
148
click to vote
SCAM
2007
IEEE
16 years 3 days ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
166
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...