Runtime Verification of Traces under Recording Uncertainty.
Shaohui WangAnaheed AyoubOleg SokolskyInsup LeePublished in: RV (2011)
Keyphrases
- model checking
- uncertain data
- real time
- formal verification
- concurrent systems
- signature verification
- formal methods
- decision theory
- incomplete information
- decision making
- artificial intelligence
- formal analysis
- possibility theory
- robust optimization
- information systems
- cryptographic protocols
- person identification
- database