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

Tobias Philipp

  1. The Prover Is the Judge: Verified Security Software from AI Coding Agents in Ada/SPARK
    2026/07/15 by Tobias Philipp
    #cs.SE #cs.AI #cs.CR