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
Search via SFX
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, Edinburgh, Scotland, UK, April 4-8, 2005
Organisational unit
03686 - Kröning, Daniel  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics