Validating Formal Semantics by Property-Based Cross-Testing.
Péter BereczkyDániel HorpácsiJudit KöszegiSoma SzeierSimon ThompsonPublished in: IFL (2020)
Keyphrases
- formal semantics
- er model
- logical language
- formal language
- logical reasoning
- modelling language
- first order logic
- operational semantics
- machine learning
- modeling language
- speech acts
- ontology languages
- test set
- software development
- computational complexity
- natural language
- theorem prover
- epistemic logic
- test cases
- relational databases