Model Checking with Metaheuristics
Tsutomu Kumazawa
2017 International Symposium for Advanced Computing and Information Technology (ISACIT 2017)