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

Leustean, Ioana

  1. OpenBSD formal driver verification with SeL4
    2023/11/06 by Adriana Nicolae, Paul Irofti, Nicolae, Adriana +3 · 2 voices
    Computer Science · #cs.CR #cs.LO #cs.OS
  2. Operational semantics and program verification using many-sorted hybrid\n modal logic
    2019/05/13 by Ioana Leuştean, Natalia Moangă, Leustean, Ioana +3 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Software Engineering Research