FAT CAT: Formal Acceptance Testing of Contracts for Administering Tokens
Authors: Aurélien Saue, Arvid Jakobsson and Kristina Sojakova
Paper Information
| Title: | FAT CAT: Formal Acceptance Testing of Contracts for Administering Tokens |
| Authors: | Aurélien Saue, Arvid Jakobsson and Kristina Sojakova |
| Proceedings: | FMBC Program Papers |
| Editors: | Zaynah Dargaye and Clara Schneidewind |
| Keywords: | distributed ledger, smart contracts, Coq, formal verification, blockchain |
| Pages: | 3 |
| Talk: | Aug 11 12:15 (Session 125D: Formal Methods for Smart Contracts) |
| Paper: |  |