A Domain Specific Language for Testing Consensus Implementations
Authors: Cezara Dragoi, Constantin Enea, Srinidhi Nagendra and Mandayam Srivas
Paper Information
| Title: | A Domain Specific Language for Testing Consensus Implementations |
| Authors: | Cezara Dragoi, Constantin Enea, Srinidhi Nagendra and Mandayam Srivas |
| Proceedings: | FMBC Program Papers |
| Editors: | Zaynah Dargaye and Clara Schneidewind |
| Keywords: | Distributed Systems, Blockchains, Testing, Consensus Protocols, Domain Specific Languages |
| Pages: | 3 |
| Talk: | Aug 11 14:30 (Session 127D: Formal Methods for Blockchain Protocols) |
| Paper: |  |