Runtime Assertion Checking and Static Verification: Collaborative Partners.
Fonenantsoa MauricaDavid R. CokJulien SignolesPublished in: ISoLA (2) (2018)
Keyphrases
- verification method
- model checking
- collaborative learning
- cooperative
- geographically dispersed
- collaborative problem solving
- collaborative environment
- multi user
- computer supported collaborative learning
- knowledge sharing
- dynamic analysis
- formal verification
- signature verification
- long term
- databases
- temporal logic
- data sets
- supply chain
- learning process
- decision making
- computer vision