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

LTL Satisfiability Checking

other

Author(s): Kristin Y. Rozier , Moshe Y. Vardi

Publication date (Print): 2007

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 26

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
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

Memory-efficient algorithms for the verification of temporal properties

M Yannakakis, C. Courcoubetis, M Vardi … (1992)

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

Bookmark

All references

Author and book information

Book Chapter

Pages: 149-167

DOI: 10.1007/978-3-540-73370-6_11

SO-VID: 0a4a1570-c1c0-47b7-b52d-09f1efd303ee

History

Data availability:

LTL Satisfiability Checking

Read this book at

Related collections

ScienceOpen Research

Most cited references 26

The model checker SPIN

Symbolic Model Checking

Memory-efficient algorithms for the verification of temporal properties

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,914

Cited by 14