Multi: a Formal Playground for Smart Multi-contract interaction
Authors: Martin Ceresa and Cesar Sanchez
Paper Information
| Title: | Multi: a Formal Playground for Smart Multi-contract interaction |
| Authors: | Martin Ceresa and Cesar Sanchez |
| Proceedings: | FMBC Program Papers |
| Editors: | Zaynah Dargaye and Clara Schneidewind |
| Keywords: | blockchain, formal methods, theorem prover, smart-contracts |
| Pages: | 16 |
| Talk: | Aug 11 16:00 (Session 131C: Formal Methods for 2nd Layers/off-chain Protocols) |
| Paper: |  |