SMT-based Symbolic Model-Checking for Operator Precedence Languages.
Michele ChiariLuca GeattiNicola GiganteMatteo PradellaPublished in: CoRR (2024)
Keyphrases
- symbolic model checking
- statistical machine translation
- model checking
- partial observability
- formal verification
- conformant planning
- binary decision diagrams
- machine translation
- model checker
- symbolic representation
- temporal logic
- finite state
- planning domains
- learning algorithm
- formal specification
- cross lingual
- search strategies
- orders of magnitude
- dynamic programming
- search algorithm