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 21

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

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

Counterexample-Guided Abstraction Refinement

Edmund Clarke, Orna Grumberg, Somesh Jha … (2000)

0 comments Cited 157 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Model checking and abstraction

Edmund M. Clarke, Orna Grumberg, David Long (1994)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2001

Publication date (Online): March 23 2001

Pages: 98-112

DOI: 10.1007/3-540-45319-9_8

SO-VID: d7f21d0f-ac8c-4b23-b82a-1e9c2207a844

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 14

See all cited by

Incremental Verification by Abstraction

Read this book at

Related collections

ScienceOpen Research

Most cited references 21

Abstract interpretation

Counterexample-Guided Abstraction Refinement

Model checking and abstraction

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,337

Cited by 14