Approximate Model Checking Using a Subset of First-order Logic. - Kiyoharu Hamaguchi; Kazuya Masuda; Toshinobu Kashiwabara (IPSJ Trans. Syst. LSI Des. Methodol., 2010)