What resources can I use if I want to get a career in formal verification? I sold a company for 100 million USD. I live in California, and the companies are registered in Delaware. How much do I keep after tax?