LCTD: Tests-Guided Proofs for C Programs on LLVM

Olli Saarikivi*, Keijo Heljanko

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

1 Sitaatiot (Scopus)

Abstrakti

LCTD is an open source verification tool for C programs. It uses the LLVM compiler framework to instrument programs for verification with the DASH algorithm. LCTD has been submitted to the BitVectorsReach category of SV-COMP 2016.

AlkuperäiskieliEnglanti
OtsikkoLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ToimittajatMarsha Chechik, Jean-Francois Raskin
KustantajaSpringer Verlag
Sivut927-929
Sivumäärä3
Vuosikerta9636
ISBN (elektroninen)978-3-662-49674-9
ISBN (painettu)978-3-662-49673-2
DOI - pysyväislinkit
TilaJulkaistu - 2016
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems - Eindhoven, Alankomaat
Kesto: 2 huhtikuuta 20168 huhtikuuta 2016
Konferenssinumero: 22

Julkaisusarja

NimiLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vuosikerta9636
ISSN (painettu)03029743
ISSN (elektroninen)16113349

Conference

ConferenceInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
LyhennettäTACAS
MaaAlankomaat
KaupunkiEindhoven
Ajanjakso02/04/201608/04/2016

Sormenjälki Sukella tutkimusaiheisiin 'LCTD: Tests-Guided Proofs for C Programs on LLVM'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Siteeraa tätä