Conference paper

MALÍK Viktor, MARTIČEK Štefan, SCHRAMMEL Peter, SRIVAS Mandayam, VOJNAR Tomáš and WAHLANG Johanan. 2LS: Memory Safety and Non-termination (Competition Contribution). In: Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Thessaloniki: Springer International Publishing, 2018, pp. 417-421. ISBN 978-3-319-89962-6. Available from: https://link.springer.com/chapter/10.1007/978-3-319-89963-3_24
Publication language:english
Original title:2LS: Memory Safety and Non-termination (Competition Contribution)
Title (cs):2LS: analýza bezpečnosti práce s pamětí a neukončitelnosti (příspěvek do soutěže)
Pages:417-421
Proceedings:Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2
Conference:European Joint Conferences on Theory and Practice of Software
Series:LNCS 10806
Place:Thessaloniki, GR
Year:2018
URL:https://link.springer.com/chapter/10.1007/978-3-319-89963-3_24
ISBN:978-3-319-89962-6
DOI:10.1007/978-3-319-89963-3_24
Publisher:Springer International Publishing
Keywords
verification, termination, non-termination, shape analysis, invariant synthesis
Annotation
2LS is a C program analyser built upon the CPROVER infrastructure. 2LS is bit-precise and it can verify and refute program assertions and termination. 2LS implements template-based synthesis techniques, e.g. to find invariants and ranking functions, and incremental loop unwinding techniques to find counterexamples and k-induction proofs. New features in this years version are improved handling of heap-allocated data structures using a template domain for shape analysis and two approaches to prove program non-termination.
BibTeX:
@INPROCEEDINGS{
   author = {Viktor Mal{\'{i}}k and {\v{S}}tefan Marti{\v{c}}ek
	and Peter Schrammel and Mandayam Srivas and
	Tom{\'{a}}{\v{s}} Vojnar and Johanan Wahlang},
   title = {2LS: Memory Safety and Non-termination
	(Competition Contribution)},
   pages = {417--421},
   booktitle = {Proceedings of the 24th International Conference on Tools
	and Algorithms for the Construction and Analysis of Systems,
	part 2},
   series = {LNCS 10806},
   year = 2018,
   location = {Thessaloniki, GR},
   publisher = {Springer International Publishing},
   ISBN = {978-3-319-89962-6},
   doi = {10.1007/978-3-319-89963-3_24},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=11892}
}

Your IPv4 address: 3.83.192.109
Switch to https