Asia jcis-2012-ruo ando
24
-
Upload
ruo-ando -
Category
Technology
-
view
148 -
download
2
description
FoL (First order Logic) theorem proving is applied for automated analysis and diagnosis of flaw about configuration of large scale open source code.