Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol.

Babu Pillai, Zh Hu, Kamanashis Biswas, Vallipuram Muthukkumarasamy

Browse the full ICFEM paper archive.