VMware Research Group
We bring development to the VeRGe of research, and research to the VeRGe of production.
“Linear Types for Large-Scale Systems Verification" received an ACM SIGPLAN Distinguished Paper Award.
...for his dissertation "Verifying a concurrent, crash-safe file system with sequential reasoning."
The Israeli Ministry of Finance and the Tel Aviv Stock Exchange will pilot the issuance of digital government bonds.