Transition predicate abstraction and fair termination
Andreas Podelski
◽
Andrey Rybalchenko
2008 ◽
Vol 19
(1)
◽
pp. 27-38
◽
Md Imran Alam
◽
Raju Halder
2009 ◽
Vol 44
(6)
◽
pp. 223-234
◽
Saurabh Srivastava
◽
Sumit Gulwani
2006 ◽
Vol 30
(1)
◽
pp. 5-28
◽
Edmund Clarke
◽
Himanshu Jain
◽
Daniel Kroening
Hongbiao Gao
◽
Yuichi Goto
◽
Jingde Cheng
Sumit Gulwani
◽
Saurabh Srivastava
◽
Ramarathnam Venkatesan
Alessandro Cimatti
◽
Jori Dubrovin
◽
Tommi Junttila
◽
Marco Roveri
Shuvendu K. Lahiri
◽
Robert Nieuwenhuis
◽
Albert Oliveras
Thomas Ball
◽
Byron Cook
◽
Shuvendu K. Lahiri
◽
Lintao Zhang
Melvin Fitting
◽
Richard L. Mendelsohn