Collaborative Runtime Verification with Tracematches.
Eric BoddenLaurie J. HendrenPatrick LamOndrej LhotákNomair A. NaeemPublished in: J. Log. Comput. (2010)
Keyphrases
- collaborative learning
- geographically dispersed
- collaborative environment
- knowledge intensive
- multi user
- information retrieval
- formal verification
- collaborative activities
- knowledge sharing
- model checking
- cooperative
- information systems
- face verification
- metadata
- e learning
- signature verification
- social networks
- real world
- verification method
- concurrent systems