[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Help



Is the module "Sums" used in verification of Interactive Convergence
Clock Synchronization Algorithm by EHDM available as theory in PVS?

Here "Sums" is sum(i, j, F) = \sum_{r = i}^{j} F(r). 

Thanks in advance.

--Purnendu