Modular synthesis of verified verifiers of computation with STV algorithms.

Milad K. Ghale, Dirk Pattinson, Michael Norrish

Browse the full ICSE paper archive.