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

Correct Hardware Design and Verification Methods 

Model Checking TLA+ Specifications

other

Author(s): Yuan Yu , Panagiotis Manolios , Leslie Lamport

Publication date (Online): June 3 2003

Publisher: Springer Berlin Heidelberg

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 8

Record: found
Abstract: not found
Book: not found

Symbolic Model Checking

Kenneth McMillan (1993)

0 comments Cited 168 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

The temporal logic of actions

Leslie Lamport (1994)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Verifying properties of parallel programs: an axiomatic approach

Susan Owicki, David Gries (1976)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1999

Publication date (Online): June 3 2003

Pages: 54-66

DOI: 10.1007/3-540-48153-2_6

SO-VID: 4b53fc0e-8f20-4320-afcd-a6c5091f0d07

History

Data availability:

Model Checking TLA+ Specifications

Read this book at

Related collections

Business Model Innovation in engineering

Most cited references 8

Symbolic Model Checking

The temporal logic of actions

Verifying properties of parallel programs: an axiomatic approach

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,073

Cited by 13