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 8

Record: found
Abstract: not found
Book Chapter: not found

CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

George C. Necula, Scott McPeak, Shree P. Rahul … (2002)

0 comments Cited 55 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Apron: A Library of Numerical Abstract Domains for Static Analysis

Bertrand Jeannet, Antoine Miné (2009)

0 comments Cited 45 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Model-Checking Parameterized Concurrent Programs Using Linear Interfaces

Salvatore La Torre, P. Madhusudan, Gennaro Parlato (2010)

0 comments Cited 16 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2013

Pages: 191-196

DOI: 10.1007/978-3-642-39799-8_12

SO-VID: 03bcb2ca-3df4-4d2f-8e19-cca18c93c3a3

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 4

See all cited by

Duet: Static Analysis for Unbounded Parallelism

Read this book at

Related collections

Software for SAXS correction and analysis

Most cited references 8

CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

Apron: A Library of Numerical Abstract Domains for Static Analysis

Model-Checking Parameterized Concurrent Programs Using Linear Interfaces

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,333

Cited by 4