Decidability in Parameterized Verification.

Roderick Bloem Swen Jacobs Ayrat Khalimov Igor Konnov Sasha Rubin Helmut Veith Josef Widder

Published in: SIGACT News (2016)

Keyphrases

description logics
model checking
query answering
verification method
decision procedures
fingerprint verification
asynchronous circuits
data sets
real world
knowledge base
database systems
multiscale
face verification
formal analysis
signature verification
formal verification