Permutation Rewriting and Algorithmic Verification.

Ahmed Bouajjani Anca Muscholl Tayssir Touili

Published in: LICS (2001)

Keyphrases

model checking
formal verification
verification method
case study
conjunctive queries
face verification
query rewriting
real time
rewrite rules
asynchronous circuits
signature verification
queries using views
functional verification
termination analysis
concurrent systems
machine learning
data sets