SMT-Based Symbolic Model-Checking for Operator Precedence Languages.
Michele ChiariLuca GeattiNicola GiganteMatteo PradellaPublished in: CAV (1) (2024)
Keyphrases
- symbolic model checking
- statistical machine translation
- model checking
- partial observability
- formal verification
- binary decision diagrams
- conformant planning
- symbolic representation
- machine translation
- model checker
- search algorithm
- cross lingual
- temporal logic
- domain specific
- artificial intelligence
- partial order
- computational complexity