shoupon

Columbia UniversityNew York, NY

Pinned Repositories

ClusterForum
The background worker that supports the online application PlatoForum.
Language:Python00
cs3101demo
hw 1 - app demo
Language:Ruby00
fail-safe-bdcast
Fail safe broadcast
Language:C++00
fizzbuzz
Language:Ruby00
Kiminonawa
Language:CSS00
lock-protocol
Lock protocol specification in:
Language:C++00
lock-protocol-PRISM
The Lock Protocol specification a la PRISM
Language:Shell00
merge-protocol
Language:C++00
prob_verify
The model checker based on the probabilistic verification algorithm proposed in [Max88]
Language:C++01
scvlab
Website contents for Safe Connected Vehicle Group
Language:HTML11

shoupon's Repositories

shoupon/scvlab
Website contents for Safe Connected Vehicle Group
Language:HTML11
shoupon/ClusterForum
The background worker that supports the online application PlatoForum.
Language:Python00
shoupon/cs3101demo
hw 1 - app demo
Language:Ruby00
shoupon/fail-safe-bdcast
Fail safe broadcast
Language:C++00
shoupon/fizzbuzz
Language:Ruby00
shoupon/Kiminonawa
Language:CSS00
shoupon/lock-protocol
Lock protocol specification in:
Language:C++00
shoupon/lock-protocol-PRISM
The Lock Protocol specification a la PRISM
Language:Shell00
shoupon/merge-protocol
Language:C++00
shoupon/prob_verify
The model checker based on the probabilistic verification algorithm proposed in [Max88]
Language:C++01
shoupon/TerminalConfig
Language:Vim Script2 0