SATABS

SAT-Based Predicate Abstraction for ANSI-C
Thumbnail
Metadata only
Author
Clarke, Edmund
Kroening, Daniel
Sharygina, Natasha
Yorav, Karen
Show all
Date
2005
Type
    Conference Paper
Publication status
published
External links
Editor
Halbwachs, Nicolas
Zuck, Lenore D.
Book title
Tools and algorithms for the construction and analysis of systems : 11th international conference : proceedings
Journal / series
Lecture Notes in Computer Science
Volume
3440
Pages / Article No.
570 - 574
Publisher
Springer
Event
11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), Edinburgh, United Kingdom, April 4-8, 2005
Organisational unit
03686 - Kröning, Daniel  
More
Show all metadata
ETH Bibliography
yes
Altmetrics