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

Magnus Lång

  1. Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs
    2023/07/29 by Parosh Aziz Abdulla, Abdulla, Parosh Aziz, Mohamed Faouzi Atig +11 · 1 citation
    Computer Science · Engineering · #D.3 #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Radiation Effects in Electronics #Security and Verification in Computing #Software Engineering (cs.SE)