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

Froleyks, Nils

  1. Stratified Certification for k-Induction
    2022/08/02 by Yu, Emily, Froleyks, Nils, Biere, Armin +1 · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  2. Certifying Phase Abstraction
    2024/05/07 by Froleyks, Nils, Yu, Emily, Biere, Armin +1 · 2 citations
    #FOS: Computer and information sciences #Symbolic Computation (cs.SC)