967 search results - page 57 / 194 » Probabilistic Predicative Programming |
101
click to vote
JOLLI
2006
15 years 2 months ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...
EMSOFT
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
135
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
108
click to vote
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...