Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019
Origin : Files produced by the author(s)