On the Run-time Verification of Autonomy Software.
Ashish TiwariPurnendu SinhaUmabharathi RamachandranPublished in: SEW (2003)
Keyphrases
- software design
- software development
- software systems
- hardware designs
- formal verification
- computer systems
- case study
- analysis tool
- software package
- formal methods
- software tools
- model checking
- expert systems
- decision trees
- databases
- decision making
- software maintenance
- information systems
- software quality
- open source
- multi agent systems
- software packages
- data mining