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

An integration of model checking with automated proof checking

other

Author(s): S. Rajan , N. Shankar , M. K. Srivas

Publication date (Online): May 31 2005

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

Results on the propositional μ-calculus

Dexter Kozen (1983)

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

Bookmark

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

Model checking and abstraction

Edmund M. Clarke, Orna Grumberg, David Long (1994)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1995

Publication date (Online): May 31 2005

Pages: 84-97

DOI: 10.1007/3-540-60045-0_42

SO-VID: bfb949b2-a0e4-400a-8129-c7857eb615aa

History

Data availability:

An integration of model checking with automated proof checking

Read this book at

Related collections

BIO Integration

Most cited references 21

Results on the propositional μ-calculus

Symbolic Model Checking

Model checking and abstraction

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,758

Cited by 8