Reading List Start here with the VERSE project proposal a discussion of the history of verification and reasoning tools and IDEs.