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

Abe, Tatsuya

  1. Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models
    2016/08/21 by Tatsuya Abe, Tomoharu Ugawa, Abe, Tatsuya +5 · 1 citation
    Computer Science · Engineering · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Radiation Effects in Electronics #Security and Verification in Computing #Software Engineering (cs.SE)