Login / Signup
An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness.
Jingchen Yan
Yating Wang
Yuichi Goto
Jingde Cheng
Published in:
C2SI (2019)
Keyphrases
</>
detection method
formal analysis
high accuracy
preprocessing
cost function
significant improvement
detection algorithm
false positives
artificial intelligence
objective function
similarity search
resource allocation