Work

Program Transformation for Program Verification

Year: 2018

Type: conference-paper

Abstract: We present a transformational approach to program verification and software model checking that uses three main ingredients: (i) Constraint Logic Programming (CLP), (ii) metaprogramming and program specialization, and (iii) proof by transformation.

Source: EPiC series in computing

DOI: 10.29007/t9v2

Authors: Alberto Pettorossi, Maurizio Proietti

Institutions: University of Rome Tor Vergata, National Research Council, Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2286468316

FWCI:

Cites: 8

Cited by:

Related to: 8