Haojun's repositories
avr
Reads a Verilog file and performs property checking.
Language:Python000
000
Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
Language:Dafny000
ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
Language:C++NOASSERTION000
Language:CSS000
000
thesis-umich
LaTeX template for University of Michigan Thesis
Language:TeX000
UMMonitor
NW Monitor
Language:Python000