Syntax-driven program verification of matching logic properties.

Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino; Rizzi, Alessandro Maria

doi:10.1109/FormaliSE.2015.18

Request a copy

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Syntax-driven program verification of matching logic properties.

Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo et al.

2015 • In Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015)

Peer reviewed

Permalink
https://hdl.handle.net/10993/20069

DOI
10.1109/FormaliSE.2015.18

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

formalise2015.pdf

Author preprint (200.11 kB)

Request a copy

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Research center :

Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)

Disciplines :

Computer science

Author, co-author :

Bianculli, Domenico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Filieri, Antonio

Ghezzi, Carlo

Mandrioli, Dino

Rizzi, Alessandro Maria

External co-authors :

yes

Language :

English

Title :

Syntax-driven program verification of matching logic properties.

Publication date :

May 2015

Event name :

3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015), co-located with ICSE 2015

Event place :

Florence, Italy

Event date :

18-05-2015

Audience :

International

Main work title :

Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015)

Publisher :

IEEE

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 18 February 2015

Statistics

Number of views

95 (7 by Unilu)

Number of downloads

2 (2 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

WoS citations^™