Pinned Repositories
CSCI325_802.11
Repository for Brad's CSCI 325 Networking Class 802.11 Wifi Implementation Project.
CS-240-GroupE
cs6966-hw2
Answers to practical questions in Theory of ML HW2
smack-portfolio
SMACK Software Verifier and Verification Toolchain
smack_compression
Testing using Smack on different data massaging/compression kernels
Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
theory-ml-hw4
Implementation and image for HW problem 3b
plantcraft
jmcmillan1's Repositories
jmcmillan1/cs6966-hw2
Answers to practical questions in Theory of ML HW2
jmcmillan1/smack-portfolio
SMACK Software Verifier and Verification Toolchain
jmcmillan1/smack_compression
Testing using Smack on different data massaging/compression kernels
jmcmillan1/Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
jmcmillan1/theory-ml-hw4
Implementation and image for HW problem 3b