A complete bounded model checking algorithm for pushdown systems - Research Collection

Metadata only

Author

Basler, Gérard

Kroening, Daniel

Weissenbacher, Georg

Date

2008

Type

Conference Paper

Citations

Cited 2 times in Web of Science

Cited 1 times in Scopus

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1007/978-3-540-77966-7_17

Editor

Book title

Hardware and software: verification and testing

Journal / series

Lecture Notes in Computer Science

Volume

4899

Pages / Article No.

202 - 217

Publisher

Springer

Event

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007

Notes

.

More

Show all metadata

Citations

Cited 2 times in Web of Science

Cited 1 times in Scopus

ETH Bibliography

yes

Altmetrics