LCTD

Olli Saarikivi; Keijo Heljanko

doi:10.1007/978-3-662-49674-9_62

LCTD

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Abstract

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.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publication date	2016
Pages	927-929
ISBN (Print)	978-3-662-49673-2
ISBN (Electronic)	978-3-662-49674-9
DOIs	https://doi.org/10.1007/978-3-662-49674-9_62
Publication status	Published - 2016
Externally published	Yes
MoE publication type	A4 Article in conference proceedings

Access to Document

10.1007/978-3-662-49674-9_62

Cite this

@inproceedings{bd120fb8898e48d2b642622ba702b43c,

title = "LCTD",

abstract = "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.",

author = "Olli Saarikivi and Keijo Heljanko",

year = "2016",

doi = "10.1007/978-3-662-49674-9_62",

language = "English",

isbn = "978-3-662-49673-2",

pages = "927--929",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - LCTD

AU - Saarikivi, Olli

AU - Heljanko, Keijo

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-662-49674-9_62

DO - 10.1007/978-3-662-49674-9_62

M3 - Conference contribution

SN - 978-3-662-49673-2

SP - 927

EP - 929

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -