Statistical Model Checking of LLVM Code.

Axel Legay, Dirk Nowotka, Danny Bgsted Poulsen, Louis-Marie Traonouez

Browse the full FM paper archive.