Asia jcis-2012-ruo ando

Post on 30-Jun-2015

148 views 2 download

description

FoL (First order Logic) theorem proving is applied for automated analysis and diagnosis of flaw about configuration of large scale open source code.

Transcript of Asia jcis-2012-ruo ando