Path-Aware Time-Triggered Runtime Verification.
Samaneh NavabpourBorzoo BonakdarpourSebastian FischmeisterPublished in: RV (2012)
Keyphrases
- shortest path
- neural network
- model checking
- formal analysis
- formal methods
- routing protocol
- concurrent systems
- verification method
- fingerprint verification
- formal verification
- face verification
- minimum cost
- petri net
- query processing
- relational databases
- decision trees
- information systems
- social networks
- genetic algorithm
- information retrieval