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

Checking and Enforcing Robustness against TSO

other

Author(s): Ahmed Bouajjani , Egor Derevenetc , Roland Meyer

Publication date (Print): 2013

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 21

Record: found
Abstract: not found
Article: not found

The model checker SPIN

G.J. Holzmann (1997)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Reasoning about systems with many processes

A. Sistla, Steven M. German (1992)

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

Bookmark

Record: found
Abstract: not found
Article: not found

The covering and boundedness problems for vector addition systems

Charles Rackoff (1978)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2013

Pages: 533-553

DOI: 10.1007/978-3-642-37036-6_29

SO-VID: dcce955c-6d44-4060-9e37-e10834012123

History

Data availability:

Checking and Enforcing Robustness against TSO

Read this book at

Related collections

ScienceOpen Research

Most cited references 21

The model checker SPIN

Reasoning about systems with many processes

The covering and boundedness problems for vector addition systems

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,914

Cited by 16