This article is a survey of recent results, related works and new challenges in automated theorem proving for program checking. The aim is to give some historical perspective, albeit necessarily incomplete, and highlight some of the turning points that made crucial advances possible.
On theorem proving for program checking - Historical perspective and recent developments
BONACINA, Maria Paola
2010-01-01
Abstract
This article is a survey of recent results, related works and new challenges in automated theorem proving for program checking. The aim is to give some historical perspective, albeit necessarily incomplete, and highlight some of the turning points that made crucial advances possible.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
PPDP2010OnTPforPC.pdf
accesso aperto
Descrizione: Articolo
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
180.86 kB
Formato
Adobe PDF
|
180.86 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
