Record: found
Abstract: found
Book Chapter: found

Is Open Access

Tools and Algorithms for the Construction and Analysis of Systems 

Map2Check Using LLVM and KLEE

other

Author(s): Rafael Menezes , Herbert Rocha , Lucas Cordeiro , Raimundo Barreto

Publication date (Online): April 14 2018

Publisher: Springer International Publishing

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 5

Record: found
Abstract: not found
Conference Proceedings: not found

LLVM: A compilation framework for lifelong program analysis & transformation

V. Adve, C. Lattner (2025)

0 comments Cited 67 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

Joao Marques-Silva, Lucas C. Cordeiro, Bernd Fischer (2012)

0 comments Cited 16 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

LEAKPOINT: pinpointing the causes of memory leaks

James Clause, Alessandro Orso (2010)

0 comments Cited 5 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2018

Publication date (Online): April 14 2018

Pages: 437-441

DOI: 10.1007/978-3-319-89963-3_28

SO-VID: 34136123-5c3b-4073-a074-df4c977ad64f

History

Data availability:

Map2Check Using LLVM and KLEE

Read this book at

Related collections

Genome Engineering using CRISPR

Most cited references 5

LLVM: A compilation framework for lifelong program analysis & transformation

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

LEAKPOINT: pinpointing the causes of memory leaks

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,092