Abstract
The author discusses the state of the art of formal methods tool support. The focus is on a particular tool: the EVES verification system. EVES is a new formal methods tool that integrates techniques from, among others, language design, language semantics, and logic and automated deduction. EVES demonstrates a number of the features that can be found in the state-of-the-art formal methods tool. The author gives brief introductions to various other formal methods tools (e.g., HOL, EHDM, the Boyer-Moore theorem prover) and discusses how these tools are being applied. >
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
