m-EVES: a tool for verifying software
The work
| Authors | Dan Craigen; Sentot Kromodimoeljo; Irwin Meisels; A. Neilson; Bill Pase; Mark Saaltink |
|---|---|
| Editors | |
| Type | misc |
| Year | 2003 |
| Citekey | craigen2003meves |
Where it appeared
| Published in | Proceedings/Proceedings - International Conference on Software Engineering |
|---|---|
| Publisher | Institute of Electrical and Electronics Engineers |
| Pages | 324--333 |
Identifiers
| DOI | 10.1109/icse.1988.93713 |
|---|---|
| OpenAlex | W4254490414 |
Access
| Landing page | https://doi.org/10.1109/icse.1988.93713 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
A description is given of the development of a tool for formally verifying software. The tool is called m-EVES and consists of a language, called m-Verdi, for implementing and specifying software; a logic that has been proved sound; and theorem prover, called m-NEVER, which integrates many state-of-the-art techniques drawn from the theorem proving literature. Two simple examples are used to present the fundamental ideas embodied within the system.>
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-23 21:19 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{craigen2003meves,
title = {m-EVES: a tool for verifying software},
author = {Dan Craigen and Sentot Kromodimoeljo and Irwin Meisels and A. Neilson and Bill Pase and Mark Saaltink},
year = {2003},
journal = {Proceedings/Proceedings - International Conference on Software Engineering},
publisher = {Institute of Electrical and Electronics Engineers},
pages = {324--333},
doi = {10.1109/icse.1988.93713},
}
This record lives at https://refs.drheap.org/craigen2003meves/ and will keep doing so.