Search

• < Previous
• 1
• Next >

---

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Wonchan Lee ; Yungbum Jung ; Bow-yaw Wang ; Kwangkuen Yi.

We address the predicate generation problem in the context of loop invariant inference. Motivated by the interpolation-based abstraction refinement technique, we apply the interpolation theorem to synthesize predicates implicitly implied by program texts. Our technique is able to improve the&nbsp;[&hellip;]

---

Sampled Semantics of Timed Automata

Pavel Krcal ; Parosh Aziz Abdulla ; Wang Yi.

Sampled semantics of timed automata is a finite approximation of their dense time behavior. While the former is closer to the actual software or hardware systems with a fixed granularity of time, the abstract character of the latter makes it appealing for system modeling and verification. We study&nbsp;[&hellip;]

---