Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning.
Yi ChenDi TangYepeng YaoMingming ZhaXiaoFeng WangXiaozhong LiuHaixu TangBaoxu LiuPublished in: USENIX Security Symposium (2023)
Keyphrases
- automated reasoning
- reasoning systems
- theorem proving
- theorem prover
- knowledge representation
- decision procedures
- probabilistic reasoning
- reasoning tasks
- automated verification
- knowledge representation and reasoning
- first order logic
- quality of service
- supervised learning
- temporal logic
- image segmentation
- propositional satisfiability
- artificial intelligence