We survey some general principles and methodologies for program analysis and verification. In particular, we focus on abstract interpretation and model checking techniques, and on their applications to constraint logic programs.
Static analysis, abstract interpretation and verification in (constraint logic) programming
RANZATO, FRANCESCO
2010
Abstract
We survey some general principles and methodologies for program analysis and verification. In particular, we focus on abstract interpretation and model checking techniques, and on their applications to constraint logic programs.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
publishedPaperLNCS.pdf
accesso aperto
Tipologia:
Preprint (submitted version)
Licenza:
Accesso libero
Dimensione
347.49 kB
Formato
Adobe PDF
|
347.49 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.