Discovered public repositories for yvettetsai in the GitHub catalog.
Become familiar w/ model checker & analyzer Choose a specific domain of networking: Routing in mobile ad-hoc networks Formalize safety and correctness properties in later slides Make use of formalizing tool, model checker SPIN Confirm counter-example assertion with violation of each property is inserted
PhotoShare is a database system for a web based photo social sharing application. It functions similarly to Flickr.
This program implement a basic shell called "myshell" which act just like the basic bash shell.
Plotting ASCII text approximations of the Mandelbrot with Haskell
This repository contains some popular algorithm's implementation in Java.
Python Script Used for Scripting Bitcoin Blocks