Researcher in formal methods, verification, and software engineering.
- Redmond, WA
- http://research.microsoft.com/~shuvendu
Popular repositories Loading
-
VeriMan
VeriMan PublicForked from VeraBE/VeriMan
Analysis tool for Solidity smart contracts. Prototype.
Python 1
-
calculator
calculator PublicForked from bianshifeng/calculator
You're the operator with your pocket calculator.
JavaScript
-
MultiSigWalletTestingRedirect
MultiSigWalletTestingRedirect PublicForked from gnosis/MultiSigWallet
Allows multiple parties to agree on transactions before execution.
CSS
-
ethereum_formal_verification_overview
ethereum_formal_verification_overview PublicForked from leonardoalt/ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
-
ql
ql PublicForked from github/codeql
The libraries and queries that power CodeQL and LGTM.com
CodeQL 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.