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.
CITATION STYLE
Saarikivi, O., & Heljanko, K. (2016). LCTD: Tests-guided proofs for C programs on LLVM. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9636, pp. 927–929). Springer Verlag. https://doi.org/10.1007/978-3-662-49674-9_62
Mendeley helps you to discover research relevant for your work.