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

Demander un accès

Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)

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

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

DOI
10.1109/FormaliSE.2015.18

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

formalise2015.pdf

Preprint Auteur (200.11 kB)

Demander un accès

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Centre de recherche :

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

Disciplines :

Sciences informatiques

Auteur, co-auteur :

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

Filieri, Antonio

Ghezzi, Carlo

Mandrioli, Dino

Rizzi, Alessandro Maria

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

Syntax-driven program verification of matching logic properties.

Date de publication/diffusion :

mai 2015

Nom de la manifestation :

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

Lieu de la manifestation :

Florence, Italie

Date de la manifestation :

18-05-2015

Manifestation à portée :

International

Titre de l'ouvrage principal :

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

Maison d'édition :

IEEE

Peer reviewed :

Peer reviewed

Disponible sur ORBilu :

depuis le 18 février 2015

Statistiques

Nombre de vues

158 (dont 7 Unilu)

Nombre de téléchargements

2 (dont 2 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

citations OpenAlex

citations WoS^™