Loading...
Loading...

Go to the content (press return)

SMT-based array invariant generation

Author
Larraz, D.; Rodriguez, E.; Rubio, A.
Type of activity
Presentation of work at congresses
Name of edition
14th International Conference on Verification, Model Checking and Abstract Interpretation
Date of publication
2013
Presentation's date
2013-01-20
Book of congress proceedings
Verification, Model Checking and Abstract Interpretation: 14th International Conference, VMCAI 2013: Rome, Italy, January 20-22, 2013: proceedings
First page
169
Last page
188
URL
http://cataleg.upc.edu/record=b1422518~S1*cat Open in new window
Group of research
LOGPROG - Logic and Programming

Participants