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

Abstraction-Based Model Checking Using Modal Transition Systems

other

Author(s): Patrice Godefroid , Michael Huth , Radha Jagadeesan

Publication date (Online): August 22 2001

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 20

Record: found
Abstract: not found
Conference Proceedings: not found

Abstract interpretation

Patrick Cousot, Radhia Cousot (1977)

0 comments Cited 364 times – based on 0 reviews

Bookmark

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
Article: not found

Algebraic laws for nondeterminism and concurrency

Matthew Hennessy, Robin Milner (1985)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2001

Publication date (Online): August 22 2001

Pages: 426-440

DOI: 10.1007/3-540-44685-0_29

SO-VID: 5d90c359-7d8f-4988-a09e-1b2102b2759c

History

Data availability:

Abstraction-Based Model Checking Using Modal Transition Systems

Read this book at

Related collections

Genome Engineering using CRISPR

Most cited references 20

Abstract interpretation

Results on the propositional μ-calculus

Algebraic laws for nondeterminism and concurrency

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,442

Cited by 13