Symbolic analysis tools-the state of the art
F.V. Fernández, Angel Rodriguez-Vazquez · 1996
This paper reviews the main last generation symbolic analyzers, comparing them in terms of functionality, pointing out also their shortcomings. The state of the art in this field is also studied, pointing out directions for future research.