{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:28:31Z","timestamp":1772836111763,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540001164","type":"print"},{"value":"9783540361268","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36126-x_2","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:55:19Z","timestamp":1269885319000},"page":"19-32","source":"Crossref","is-referenced-by-count":38,"title":["Counter-Example Based Predicate Discovery in Predicate Abstraction"],"prefix":"10.1007","author":[{"given":"Satyaki","family":"Das","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David L.","family":"Dill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,11,5]]},"reference":[{"key":"2_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Conference on Computer Aided Verification","author":"D. L. D. A. Stump","year":"2002","unstructured":"David L. Dill Aaron Stump, Clark W. Barrett. CVC: a cooperating validity checker. In Conference on Computer Aided Verification, Lecture notes in Computer Science. Springer-Verlag, 2002."},{"issue":"1","key":"2_CR2","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1006\/inco.1995.1059","volume":"118","author":"R. Alur","year":"1995","unstructured":"R. Alur, A. Itai, R.P. Kurshan, and M. Yannakakis. Timing verification by successive approximation. Information and Computation 118(1), pages 142\u2013157, 1995.","journal-title":"Information and Computation"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"F. Balarin and A. L. Sangiovanni-Vincentelli. An iterative approach to language containment. In 5th International Conference on Computer-Aided Verification, pages 29\u201340. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56922-7_4"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Thomas Ball and Sriram K. Rajamani. The SLAM project: debugging system software via static analysis. In Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 1\u20133. ACM Press, 2002.","DOI":"10.1145\/503272.503274"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Saddek Bensalem, Yassine Lakhnech, and Sam Owre. InVeSt: A tool for the verification of invariants. In 10th International Conference on Computer-Aided Verification, pages 505\u2013510. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0028771"},{"key":"2_CR6","unstructured":"Karthikeyan Bhargavan, Davor Obradovic, and Carl A. Gunter. Formal verification of standards for distance vector routing protocols, August 1999. Presented in the Recent Research Session at Sigcomm 1999."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith. Counterexample-guided abstraction refinement. In Computer Aided Verification, pages 154\u2013169. Springer-Verlag, 2000.","DOI":"10.1007\/10722167_15"},{"key":"2_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BFb0028753","volume-title":"Conference on Computer-Aided Verification","author":"M. A. Col\u00f3n","year":"1998","unstructured":"Michael A. Col\u00f3n and Tom\u00e1s E. Uribe. Generating finite-state abstractions of reactive systems using decision procedures. In Conference on Computer-Aided Verification, volume 1427 of Lecture Notes in Computer Science, pages 293\u2013304. Springer-Verlag, 1998."},{"key":"2_CR9","unstructured":"Satyaki Das and David L. Dill. Successive approximation of abstract transition relations. In Proceedings of the Sixteenth Annual IEEE Symposium on Logic in Computer Science, pages 51\u201360. IEEE Computer Society, 2001. June 2001, Boston, USA."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"C. Flanagan and S. Qadeer. Predicate abstraction for software verification. In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, 2002.","DOI":"10.1145\/503272.503291"},{"key":"2_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-63166-6_10","volume-title":"Conference on Computer Aided Verification","author":"S. Graf","year":"1997","unstructured":"Susanne Graf and Hassen Sa\u00efdi. Construction of abstract state graphs with PVS. In Orna Grumberg, editor, Conference on Computer Aided Verification, volume 1254 of Lecture notes in Computer Science, pages 72\u201383. Springer-Verlag, 1997. June 1997, Haifa, Israel."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, and Sam Owre. Incremental verification by abstraction. In T. Margaria and W. Yi, editors, Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TAC AS 2001, pages 98\u2013112, Genova, Italy, 2001. Springer-Verlag.","DOI":"10.1007\/3-540-45319-9_8"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"D. Lessens and Hassen Sa\u00efdi. Automatic verification of parameterized networks of processes by abstraction. Electronic Notes of Theoretical Computer Science (ENTCS), 1997.","DOI":"10.1016\/S1571-0661(05)80429-3"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, 1995.","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Charles E. Perkins and Elizabeth M. Royer. Ad Hoc On-Demand Distance Vector (AODV) Routing. In Workshop on Mobile Computing Systems and Applications, pages 90\u2013100. ACM Press, February 1999.","DOI":"10.1109\/MCSA.1999.749281"},{"key":"2_CR16","unstructured":"Charles E. Perkins, Elizabeth M. Royer, and Samir Das. Ad Hoc On-Demand Distance Vector (AODV) Routing. Available at http:\/\/www.ietf.org\/internet-drafts\/draft-ietf-manet-aodv-05.txt , 2000."},{"key":"2_CR17","unstructured":"A. P. Sistla and S. M. German. Reasoning with many processes. In Symp. on Logic in Computer Science, Ithaca, pages 138\u2013152. IEEE Computer Society, June 1987."},{"key":"2_CR18","unstructured":"Rupak Majumdar Thomas A Henzinger, Ranjit Jhala and Gregoire Sutre. Lazy abstraction. In Proceedings of the 29th ACM SIGPLAN-SIGACT Conference on Principles of Programming Languages. ACM Press, 2002."},{"key":"2_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/3-540-45319-9_9","volume-title":"TACAS 2001-Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Tiwari","year":"2001","unstructured":"A. Tiwari, H. Rue\u03b2, H. Sa\u00efdi, and N. Shankar. A technique for invariant generation. In Tiziana Margaria and Wang Yi, editors, TACAS 2001-Tools and Algorithms for the Construction and Analysis of Systems, volume 2031 of Lecture Notes in Computer Science, pages 113\u2013127, Genova, Italy, apr 2001. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36126-X_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T15:26:11Z","timestamp":1558970771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36126-X_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001164","9783540361268"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-36126-x_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}