Verification of large programs is impossible without proof techniques that allow local reasoning and information hiding. In this paper, we resurrect, extend and modernize an old approach to this ...

Abstract: Chaotic p-ary sequences with exponential autocorrelation functions are designed by using fully stretching piecewise linear maps where a result for binary sequences is applied. Some design ...