Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions.
Jianan YaoRunzhou TaoRonghui GuJason NiehPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- ranking functions
- automated verification
- learning to rank
- model checking
- document retrieval
- web search engines
- distributed systems
- web search
- supervised learning
- information retrieval
- automated reasoning
- information retrieval systems
- probability distribution
- active learning
- ranking algorithm
- decision trees
- image processing
- formal verification
- learning algorithm