University of Sussex
Browse

File(s) under permanent embargo

2LS for program analysis

chapter
posted on 2023-06-09, 01:09 authored by Peter Schrammel, Daniel Kroening
2LS is a program analysis tool for C programs built upon the CPROVER infrastructure. 2LS is bit-precise and it can verify and refute program assertions. 2LS implements invariant generation techniques, incremental bounded model checking and incremental k-induction. The competition submission uses an algorithm combining all three techniques, called kIkI (k-invariants and k-induction). As a back end, the competition submission of 2LS uses Glucose 4.0.

History

Publication status

  • Published

File Version

  • Accepted version

ISSN

0302-9743

Publisher

Springer Berlin Heidelberg

Volume

9636

Page range

905-907

Pages

961.0

Book title

Tools and algorithms for the construction and analysis of systems

Place of publication

Berlin

ISBN

9783662496732

Series

Lecture Notes in Computer Science

Department affiliated with

  • Informatics Publications

Notes

22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2016-05-09

First Compliant Deposit (FCD) Date

2016-05-09

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC