https://sri-csl.github.io
Menlo Park, California
SRI International's Computer Science Laboratory
OCCAM: Object Culling and Concretization for Assurance Maximization
SRI-CSL
The People's Verification System
This is solc-verify, a modular verifier for Solidity.
A Camouflage Proxy for the Tor Anonymity System
