Login / Signup
The Decidability of Verification under PS 2.0.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Adwait Godbole
Shankara Narayanan Krishna
Viktor Vafeiadis
Published in:
ESOP (2021)
Keyphrases
</>
model checking
query answering
fingerprint verification
description logics
type checking
formal verification
formal analysis
functional verification
machine learning
verification method
face verification
data structure
decision trees
information systems
computer vision
social networks
artificial intelligence