🙃
Busy writing proofs for concurrent programs.
SWE at CitSec. Programmer. Verifier.
- Somewhere, Universe
- https://parvmor.github.io
Block or Report
Block or report parvmor
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
googlesummerofcode18
googlesummerofcode18 PublicThis repository is a snapshot of work done during GSoC'18 under TLA+.
-
-
-
linux
linux PublicForked from torvalds/linux
A patch to linux kernel to log number of packets and restrict packet transmission per second.
C
-
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.