DocumentCode
3084556
Title
Tool support for formal methods
Author
Craigen, Dan
Author_Institution
Odyssey Res. Associates, Ottawa, Ont., Canada
fYear
1991
fDate
13-16 May 1991
Firstpage
184
Lastpage
185
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
Keywords
formal specification; program verification; software tools; Boyer-Moore theorem prover; EHDM; EVES verification system; HOL; automated deduction; formal methods tool; language design; language semantics; logic; Computer science; Concrete; Databases; Design methodology; Hardware; Libraries; Logic design; Mathematics; Sparks; Toy industry;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1991. Proceedings., 13th International Conference on
Conference_Location
Austin, TX
Print_ISBN
0-8186-2140-0
Type
conf
DOI
10.1109/ICSE.1991.130641
Filename
130641
Link To Document