m-EVES: A Tool for Verifying Software.
Dan CraigenSentot KromodimoeljoIrwin MeiselsAndy NeilsonBill PaseMark SaaltinkPublished in: ICSE (1988)
Keyphrases
- software tools
- software application
- analysis tool
- software package
- software development
- software platform
- graphical user interface
- mysql database
- formal specification language
- software environment
- computer software
- artificial intelligence
- object oriented programming language
- graphical display
- program understanding
- software projects
- user friendly
- model checking
- software systems
- source code
- database
- software maintenance
- information systems
- object oriented
- open source
- intelligent software
- user friendly interface
- programming tool
- software architecture
- hardware design
- development process
- temporal logic
- software design