Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions.
Hannes KallwiesMartin LeuckerCésar SánchezPublished in: ATVA (2022)
Keyphrases
- monitoring system
- real time
- high level
- neural learning
- simplifying assumptions
- verification method
- model checking
- symbolic representation
- connectionist models
- condition monitoring
- java card
- symbolic reasoning
- database
- false acceptance rate
- fingerprint verification
- formal methods
- face verification
- expert systems
- web services
- information systems
- data sets