Scalable progress verification in credit-based flow-control systems.
Sayak RayRobert K. BraytonPublished in: DATE (2012)
Keyphrases
- control system
- model checking
- safety analysis
- real time
- flow patterns
- verification method
- memory efficient
- risk analysis
- flow field
- formal methods
- fault detection and isolation
- credit scoring
- web scale
- highly scalable
- face verification
- information flow
- closed loop
- computer vision
- neural network
- data sets
- formal analysis
- case study
- formal verification
- website
- fingerprint verification
- artificial intelligence
- industrial automation