SymInfer: Inferring Numerical Invariants using Symbolic States
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- May 01, 2022
- Source ID
- 10.1109/icse-companion55297.2022.9793805
Entities
People
- Hai Duong
- KimHao Nguyen
- ThanhVu Nguyen
Organizations
- George Mason University
- National Science Foundation
- United States Army