A Complete Bounded Model Checking Algorithm for Pushdown Systems
Published in Lecture notes in computer science • Feb 1, 2008
NobleIDNI7P78W98R88S69
Authors:,,
Gérard Basler
Daniel Kroening
Georg Weißenbacher
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!