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
Book Chapter: not found

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia … (2002)

0 comments Cited 86 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Tentative steps toward a development method for interfering programs

C Jones (1983)

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

Bookmark

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

Learning Assumptions for Compositional Verification

Jamieson Cobleigh, Dimitra Giannakopoulou, Corina Pasareanu (2003)

0 comments Cited 44 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2010

Pages: 204-219

DOI: 10.1007/978-3-642-16901-4_15

SO-VID: 80d75eed-8c82-43c0-a3a0-cd27ed823bba

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 2

See all cited by

Assume-Guarantee Reasoning with Local Specifications

Read this book at

Related collections

Huddersfield Books

Most cited references 21

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

Tentative steps toward a development method for interfering programs

Learning Assumptions for Compositional Verification

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 5,118

Cited by 2