Login / Signup
From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server.
Nicolas Koh
Yao Li
Yishuai Li
Li-yao Xia
Lennart Beringer
Wolf Honoré
William Mansky
Benjamin C. Pierce
Steve Zdancewic
Published in:
CoRR (2018)
Keyphrases
</>
client server
human computer interaction
decision trees
web server
test cases
real time
tcp ip
binary trees
database
tree automata
tree construction
single server
human robot interaction
tree structure
search engine
information retrieval
databases