Login / Signup
SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking.
Jan Mrázek
Martin Jonás
Jiri Barnat
Published in:
CoRR (2017)
Keyphrases
</>
symbolic model checking
query processing
model checking
query language
formal verification
partial observability
conformant planning
web search engines
database
user queries
binary decision diagrams
multi agent
temporal logic
symbolic representation
planning domains