Model Checking

About the same time I wrote the aforementioned interpreter, I also was interested in the more mathy side of computer science. A fantastic mentor I had was deeply entrenched in reversing and got me involved in the applications of math to the more practical side of thing. In my quest to improve my mathematical ability […]