Credits and Links
Professor David Dill. After having Professor Dill spend two hours talking to us about his research and automated theorem proving in general, our ideas of this sophisticfated field in computer science cleared up greatly. (Thank you very much!) His web site has great content and links on his research on the theory and application of formal verification techniques to system designs, including hardware, protocols, and software.