Benchmarking a model checker for algorithmic improvements and tuning for performance
Gianpiero Cabodi, Sergio Nocco, Stefano QuerVolume:
39
Language:
english
Pages:
23
DOI:
10.1007/s10703-011-0123-3
Date:
October, 2011
File:
PDF, 832 KB
english, 2011