LCTD: Tests-Guided Proofs for C Programs on LLVM

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

Researchers

Research units

  • Helsinki Institute for Information Technology HIIT

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.

Details

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

ID: 2549303