Login / Signup
Confidence Composition for Monitors of Verification Assumptions.
Ivan Ruchkin
Matthew Cleaveland
Radoslav Ivanov
Pengyuan Lu
Taylor J. Carpenter
Oleg Sokolsky
Insup Lee
Published in:
ICCPS (2022)
Keyphrases
</>
model checking
high confidence
three dimensional
confidence measure
signature verification
web services composition
formal methods
confidence level
real time
neural network
image processing
web service composition
simplifying assumptions
verification method