Varieties of Static Analyzers: A Comparison with ASTREE

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) ◽

10.1109/tase.2007.55 ◽

2007 ◽

Cited By ~ 22

Author(s):

Patrick COUSOT ◽

Radhia COUSOT ◽

Jerome FERET ◽

Antoine MINE ◽

Laurent MAUBORGNE ◽

...

Download Full-text