Login / Signup

From C to interaction trees: specifying, verifying, and testing a networked server.

Nicolas KohYao LiYishuai LiLi-yao XiaLennart BeringerWolf HonoréWilliam ManskyBenjamin C. PierceSteve Zdancewic
Published in: CPP (2019)
Keyphrases
  • decision trees
  • human computer interaction
  • database
  • tree structure
  • model checking
  • client server
  • data sets
  • user interaction
  • tree models
  • multimedia
  • special case
  • test cases
  • network bandwidth
  • binary trees