LCTD: Tests-Guided Proofs for C Programs on LLVM

Olli Saarikivi*, Keijo Heljanko

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

1 Citation (Scopus)

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 languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsMarsha Chechik, Jean-Francois Raskin
PublisherSpringer Verlag
Pages927-929
Number of pages3
Volume9636
ISBN (Electronic)978-3-662-49674-9
ISBN (Print)978-3-662-49673-2
DOIs
Publication statusPublished - 2016
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems - Eindhoven, Netherlands
Duration: 2 Apr 20168 Apr 2016
Conference number: 22

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9636
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

ConferenceInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
Abbreviated titleTACAS
CountryNetherlands
CityEindhoven
Period02/04/201608/04/2016

Fingerprint Dive into the research topics of 'LCTD: Tests-Guided Proofs for C Programs on LLVM'. Together they form a unique fingerprint.

Cite this