Open AccessAbstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems1
Author(s) -
Javier Esparza,
Stefan Kiefer,
Stefan Schwoon
Publication year - 2008
Publication title -
journal on satisfiability boolean modeling and computation
Language(s) - English
Resource type - Journals
eISSN - 1875-5011
pISSN - 1574-0617
DOI - 10.3233/sat190051
Subject(s) - abstraction , computer science , programming language , interpolation (computer graphics) , mathematics , artificial intelligence , epistemology , philosophy , motion (physics)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom