Introduction to the special section on runtime verification.
Oleg SokolskyKlaus HavelundInsup LeePublished in: Int. J. Softw. Tools Technol. Transf. (2012)
Keyphrases
- model checking
- formal verification
- formal analysis
- search engine
- verification method
- decision trees
- data sets
- signature verification
- special case
- concurrent systems
- asynchronous circuits
- fingerprint verification
- person identification
- test generation
- multiresolution
- relational databases
- expert systems
- multi agent systems
- knowledge base
- feature selection
- artificial intelligence