Property-Directed Inference of Universal Invariants or Proving Their Absence

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_40 ◽

2015 ◽

pp. 583-602 ◽

Author(s):

A. Karbyshev ◽

N. Bjørner ◽

S. Itzhaky ◽

N. Rinetzky ◽

S. Shoham

Download Full-text