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

Saad Mohammad Rafid Pial

  1. Specula: Scaling formal specifications for autonomous model checking of system code
    2026/07/28 by Qian Cheng, Saad Mohammad Rafid Pial, Ruize Tang +6 · 1 voice
    #cs.SE #cs.AI #cs.DC #cs.OS