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

Formal Methods and Software Engineering 

Reasoning about Liveness Properties in Event-B

other

Author(s): Thai Son Hoang , Jean-Raymond Abrial

Publication date (Print): 2011

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 13

Record: found
Abstract: not found
Book: not found

Modeling in Event-B

Jean-Raymond Abrial (2010)

0 comments Cited 101 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

Rodin: an open toolset for modelling and reasoning in Event-B

Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede … (2010)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2011

Pages: 456-471

DOI: 10.1007/978-3-642-24559-6_31

SO-VID: 07044ad5-3ea1-44fc-a06d-98b1cd5dbb28

History

Data availability:

Reasoning about Liveness Properties in Event-B

Read this book at

Related collections

Airburst and Crater Research

Most cited references 13

Modeling in Event-B

The temporal logic of actions

Rodin: an open toolset for modelling and reasoning in Event-B

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,346

Cited by 4