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 34

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

Ordering by Divisibility in Abstract Algebras

Graham Higman (1952)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Automatic verification of finite-state concurrent systems using temporal logic specifications

Susan E M Clarke, E. A. Emerson, A. Sistla (1986)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2000

Pages: 62-81

DOI: 10.1007/10720327_5

SO-VID: f0d0473a-7a52-438a-95a7-bf76638796c3

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 7

ProB: A Model Checker for B
Authors: Michael Leuschel, Michael Butler
ProB: an automated analysis toolset for the B method
Authors: Michael Leuschel, Michael Butler
Automatic Refinement Checking for B
Authors: Michael Leuschel, Michael Butler

See all cited by

Infinite State Model Checking by Abstract Interpretation and Program Specialisation

Read this book at

Related collections

De Gruyter Materials Science: Energy

Most cited references 34

Symbolic Model Checking

Ordering by Divisibility in Abstract Algebras

Automatic verification of finite-state concurrent systems using temporal logic specifications

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 5,003

Cited by 7