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

Max Sandström

  1. On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties
    2021/01/01 by Alexandra Silva, Juha Kontinen, Renata Wassermann +2 · 1 citation
    Computer Science · Mathematics · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO #math.LO