jmcmillan1's repositories
theory-ml-hw4
Implementation and image for HW problem 3b
Language:Python000
cs6966-hw2
Answers to practical questions in Theory of ML HW2
Language:Python000
smack-portfolio
SMACK Software Verifier and Verification Toolchain
Language:CNOASSERTION000
smack_compression
Testing using Smack on different data massaging/compression kernels
Language:C000
Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
Language:CNOASSERTION000