Collaborative Runtime Verification with Tracematches.
Eric BoddenLaurie J. HendrenPatrick LamOndrej LhotákNomair A. NaeemPublished in: RV (2007)
Keyphrases
- collaborative learning
- model checking
- database
- collaborative environment
- real time
- functional verification
- formal analysis
- cooperative
- search algorithm
- evolutionary algorithm
- decision trees
- knowledge acquisition
- search engine
- multi user
- user centric
- face verification
- knowledge intensive
- formal methods
- artificial intelligence
- learning algorithm
- collaborative systems
- verification method
- information retrieval