A Complete Bounded Model Checking Algorithm for Pushdown Systems
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2007
|
| _version_ | 1826272081919082496 |
|---|---|
| author | Basler, G Kroening, D Weissenbacher, G |
| author_facet | Basler, G Kroening, D Weissenbacher, G |
| author_sort | Basler, G |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T22:06:55Z |
| format | Conference item |
| id | oxford-uuid:5079cbbc-720f-4424-a5e0-3c48e3827ea9 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T22:06:55Z |
| publishDate | 2007 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:5079cbbc-720f-4424-a5e0-3c48e3827ea92022-03-26T16:13:46ZA Complete Bounded Model Checking Algorithm for Pushdown SystemsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:5079cbbc-720f-4424-a5e0-3c48e3827ea9Department of Computer ScienceSpringer2007Basler, GKroening, DWeissenbacher, G |
| spellingShingle | Basler, G Kroening, D Weissenbacher, G A Complete Bounded Model Checking Algorithm for Pushdown Systems |
| title | A Complete Bounded Model Checking Algorithm for Pushdown Systems |
| title_full | A Complete Bounded Model Checking Algorithm for Pushdown Systems |
| title_fullStr | A Complete Bounded Model Checking Algorithm for Pushdown Systems |
| title_full_unstemmed | A Complete Bounded Model Checking Algorithm for Pushdown Systems |
| title_short | A Complete Bounded Model Checking Algorithm for Pushdown Systems |
| title_sort | complete bounded model checking algorithm for pushdown systems |
| work_keys_str_mv | AT baslerg acompleteboundedmodelcheckingalgorithmforpushdownsystems AT kroeningd acompleteboundedmodelcheckingalgorithmforpushdownsystems AT weissenbacherg acompleteboundedmodelcheckingalgorithmforpushdownsystems AT baslerg completeboundedmodelcheckingalgorithmforpushdownsystems AT kroeningd completeboundedmodelcheckingalgorithmforpushdownsystems AT weissenbacherg completeboundedmodelcheckingalgorithmforpushdownsystems |