I'll have to dive back in. I could use the decent salary right now. I've been out of work aside from my endeavors to bring this hoist to market we are working on currently. The whole formal verification thing has become an obsession of mine lately. First it was applied to just the safety-critical aspects of our system. Now, I am applying lesser, but still powerful methods and tools to make sure the whole front end and basic networking is also part of this formal verification chain. Down the rabbit hole!