A Model Checker for Operator Precedence Languages.
Michele ChiariDino MandrioliFrancesco PontiggiaMatteo PradellaPublished in: ACM Trans. Program. Lang. Syst. (2023)
Keyphrases
- model checker
- model checking
- formal verification
- formal methods
- description language
- temporal logic
- set theory
- formal specification
- partial order
- symbolic model checking
- test suite
- ai planning
- specification language
- knowledge based systems
- programming language
- fuzzy logic
- scheduling problem
- target language
- evolutionary algorithm
- data analysis
- search algorithm
- web services
- data mining