Login / Signup
The Decidability of Verification under Promising 2.0.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Adwait Godbole
Shankara Narayanan Krishna
Viktor Vafeiadis
Published in:
CoRR (2020)
Keyphrases
</>
description logics
model checking
query answering
computer vision
decision procedures
real time
knowledge base
decision trees
formal verification
asynchronous circuits