LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference
Symbolic trajectory evaluation
DOI:
10.1145/3691620.3695014
Publication Date:
2024-10-18T15:39:19Z
AUTHORS (6)
ABSTRACT
SUPPLEMENTAL MATERIAL
Coming soon ....
REFERENCES (54)
CITATIONS (1)
EXTERNAL LINKS
PlumX Metrics
RECOMMENDATIONS
FAIR ASSESSMENT
Coming soon ....
JUPYTER LAB
Coming soon ....