Confidence Composition for Monitors of Verification Assumptions.
Ivan RuchkinMatthew CleavelandRadoslav IvanovPengyuan LuTaylor J. CarpenterOleg SokolskyInsup LeePublished in: CoRR (2021)
Keyphrases
- confidence level
- model checking
- high confidence
- verification method
- web service composition
- confidence values
- confidence measure
- data sets
- restrictive assumptions
- formal verification
- formal methods
- neural network
- face verification
- formal analysis
- temporal logic
- distributed systems
- search algorithm
- signature verification
- multi agent
- confidence scores
- asynchronous circuits
- simplifying assumptions
- information retrieval
- high security
- database
- concurrent systems
- music composition