Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
–Neural Information Processing Systems
We collect 312 programs from various sources, including daily programs from college homework, the international competition (SV -COMP), benchmarks from previous papers (SLING), and programs from real-world software systems (Linux Kernel, GlibC, LiteOS, and Zephyr).
Neural Information Processing Systems
Oct-10-2025, 20:11:49 GMT
- Country:
- Asia > China
- Europe
- Germany > Bavaria
- Upper Bavaria > Munich (0.04)
- Italy > Lazio
- Rome (0.04)
- United Kingdom
- England
- Greater London > London (0.04)
- Oxfordshire > Oxford (0.04)
- North Sea > Central North Sea (0.04)
- England
- Germany > Bavaria
- North America > United States
- Arizona > Maricopa County
- Phoenix (0.04)
- California > Santa Barbara County
- Santa Barbara (0.04)
- Florida > Pinellas County
- St. Petersburg (0.04)
- Arizona > Maricopa County
- Genre:
- Instructional Material > Course Syllabus & Notes (0.46)
- Research Report > New Finding (0.46)
- Technology: