Detection of Inconsistent Contracts Through Modular Verification.

Alexandr Naumchev

Published in: SEDA (2018)

Keyphrases

false positives
detection method
supply chain
object detection
detection algorithm
change detection
verification method
signature verification
detection accuracy
automatic detection
detection rate
event detection
anomaly detection
false alarms
information retrieval
formal verification
neural network