Runtime Verification of Kotlin Coroutines.
Denis FurianShaun AzzopardiYliès FalconeGerardo SchneiderPublished in: RV (2022)
Keyphrases
- model checking
- decision making
- formal verification
- fingerprint verification
- signature verification
- data sets
- multiresolution
- functional verification
- verification method
- test generation
- formal methods
- relational databases
- digital libraries
- learning environment
- information systems
- social networks
- genetic algorithm
- data mining