Verification methodology by day. Author and open-source developer by night. All opinions my own.