Upload
ruo-ando
View
148
Download
2
Embed Size (px)
DESCRIPTION
FoL (First order Logic) theorem proving is applied for automated analysis and diagnosis of flaw about configuration of large scale open source code.
Citation preview