Servois

swMATH30783MaRDI QIDQ42497FDOQ42497

Author name not available (Why is that?)

Official website: https://cs.nyu.edu/~kshitij/projects/servois/

Source code repository: https://github.com/kbansal/servois

Described by source

• Automatic generation of precise and useful commutativity conditions

Cited In (3)

• Synthesizing precise and useful commutativity conditions
• Solidity
• GASTAP

This page was built for software: Servois