Carregant...
Carregant...

Vés al contingut (premeu Retorn)

SMT-based array invariant generation

Autor
Larraz, D.; Rodriguez, E.; Rubio, A.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
14th International Conference on Verification, Model Checking and Abstract Interpretation
Any de l'edició
2013
Data de presentació
2013-01-20
Llibre d'actes
Verification, Model Checking and Abstract Interpretation: 14th International Conference, VMCAI 2013: Rome, Italy, January 20-22, 2013: proceedings
Pàgina inicial
169
Pàgina final
188
URL
http://cataleg.upc.edu/record=b1422518~S1*cat Obrir en finestra nova
Grup de recerca
LOGPROG - Lògica i Programació

Participants