howdy

I imagine you’re here to read some documentation. Congratulations. This is the place where I put notes and documentation I’ve written that doesn’t really seem to fit anywhere else.

Pardon My Dust

This resource is very young. I’m working on building it up over the remainder of my existence. I decided uploading some is better than uploading none. Please be patient with the current state of it.

Formal Methods Docs

I’ve written a bit about formal methods and tools I’ve used.

Property-Directed Reachability

I’m working on a decent tutorial for PDR/IC3.