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

Redondi, Gianluca

  1. Invariant Checking for SMT-based Systems with Quantifiers
    2024/02/29 by Gianluca Redondi, Alessandro Cimatti, Redondi, Gianluca +5 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling