yvettetsai/Database-PhotoShare
PhotoShare is a database system for a web based photo social sharing application. It functions similarly to Flickr.
Public GitHub Catalog
Discovered Sep 27, 2026
yvettetsai / Formal_Method-BATMAN
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
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#10286690GitHub System ID
yvettetsaiOrganization / User
PublicVisibility
ActiveCatalog Status
More from yvettetsai
yvettetsai/Software_System-myShell
This program implement a basic shell called "myshell" which act just like the basic bash shell.
yvettetsai/Mandelbrot
Plotting ASCII text approximations of the Mandelbrot with Haskell
yvettetsai/Algorithm
This repository contains some popular algorithm's implementation in Java.