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 30

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

The temporal logic of programs

Amir Pnueli (1977)

0 comments Cited 393 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

An axiomatic basis for computer programming

C. Hoare (1969)

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

Bookmark

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

Abstract interpretation

Patrick Cousot, Radhia Cousot (1977)

0 comments Cited 364 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2012

Pages: 233-247

DOI: 10.1007/978-3-642-33826-7_16

SO-VID: 4c781c6a-e7af-4fc7-97f2-5cf823aca25a

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 24

The SeaHorn Verification Framework
Authors: Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli …
Tool Integration with the Evidential Tool Bus
Authors: Simon Cruanes, Grégoire Hamon, Sam Owre …
Partitioned Memory Models for Program Analysis
Authors: Wei Wang, Clark Barrett, Thomas Wies

See all cited by

Frama-C

Read this book at

Related collections

CHAIN Network Collection

Most cited references 30

The temporal logic of programs

An axiomatic basis for computer programming

Abstract interpretation

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,336

Cited by 24