vix.ing · top · new · best · stats · spec

Yishuai Li

  1. From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server
    2018/11/29 by Nicolas Koh, Yao Li, Yishuai Li +6 · 2 voices · 1 citation
    Computer Science · #cs.PL
  2. Verifying an HTTP Key-Value Server with Interaction Trees and VST
    2021/01/01 by Hengchu Zhang, Wolf Honoré, Nicolas Koh +7 · 1 voice · 1 citation
    Computer Science · #Network Security and Intrusion Detection #Service-Oriented Architecture and Web Services #Security and Verification in Computing