Counterexamples with loops for predicate abstraction

Metadata only

Author

Date

2006

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Computer aided verification : 18th international conference : proceedings

Journal / series

Lecture Notes in Computer Science

Volume

4144

Pages / Article No.

152 - 165

Publisher

Springer

Event

18th International Conference on Computer Aided Verification (CAV 2006), Seattle, WA, USA, August 17-20, 2006

Organisational unit

03686 - Kröning, Daniel

More

ETH Bibliography

yes

Altmetrics

Research Collection