Experimental Evaluation of Verification and Validation Tools on Martian Rover Software.
Guillaume P. BratDoron DrusinskyDimitra GiannakopoulouAllen GoldbergKlaus HavelundMichael R. LowryCorina S. PasareanuArnaud VenetWillem VisserRichard WashingtonPublished in: Formal Methods Syst. Des. (2004)
Keyphrases
- experimental evaluation
- software tools
- formal methods
- software packages
- software developers
- software development
- programming tool
- analysis tool
- software platform
- software components
- hardware platforms
- commercial software
- software systems
- computer aided software engineering
- web enabled
- design tools
- free software
- software engineering practices
- user friendly
- model checking
- software design
- companion web site
- software suite
- software environment
- face verification
- information systems
- path planning
- vision system
- computer networking
- end users
- program understanding
- design concepts
- software engineers
- graphical user interfaces
- technical issues
- formal verification
- signature verification
- software package
- stereo vision
- decision support
- open source
- user interface