Sign in
Verifying an HTTP Key-Value Server with Interaction Trees and VST.
Hengchu Zhang
Wolf Honoré
Nicolas Koh
Yao Li
Yishuai Li
Li-yao Xia
Lennart Beringer
William Mansky
Benjamin C. Pierce
Steve Zdancewic
Published in:
ITP (2021)
Keyphrases
</>
decision trees
website
open source
tree structure
human interaction
web server
model checking
human computer interaction
decision support
tree structures
steady state
user interaction
database
multiresolution
image processing
genetic algorithm
neural network