Servois

MaRDI QIDQ42497swMATHFDO

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