Loop Detection by Logically Constrained Term Rewriting.

Naoki Nishida Sarah Winkler

Published in: VSTTE (2018)

Keyphrases

term rewriting
detection method
theorem proving
object detection
false positives
detection rate
automatic detection
theorem prover
rewrite systems
training data
detection algorithm
databases
cooperative
false alarms
detection accuracy
operational semantics