Pseudo-Random Number Generator Verification: A Case Study.
Felix DörreVladimir KlebanovPublished in: VSTTE (2015)
Keyphrases
- random number generator
- random number
- model checking
- case study
- test bed
- face verification
- fingerprint authentication
- formal methods
- formal verification
- data structure
- learning algorithm
- genetic algorithm
- signature verification
- multi agent systems
- asynchronous circuits
- verification method
- concurrent systems
- similarity measure
- shift register