Sign in
Syntax-Driven Program Verification of Matching Logic Properties.
Domenico Bianculli
Antonio Filieri
Carlo Ghezzi
Dino Mandrioli
Alessandro Maria Rizzi
Published in:
FormaliSE@ICSE (2015)
Keyphrases
</>
data driven
matching algorithm
formal language
desirable properties
automated reasoning
structural properties
theorem prover
computational properties
multi valued
derivation rules
high level
operational semantics
matching scheme
theorem proving
graph matching
image matching
multi agent systems