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

Handling Global Conditions in Parametrized System Verification

other

Author(s): Parosh Aziz Abdulla , Ahmed Bouajjani , Bengt Jonsson , Marcus Nilsson

Publication date (Online): January 14 2003

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 15

Record: found
Abstract: not found
Article: not found

Reasoning about systems with many processes

A. Sistla, Steven M. German (1992)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Verifying Programs with Unreliable Channels

Parosh Aziz Abdulla, Bengt Gunnar Jonsson (1996)

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

Bookmark

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

Model-checking for real-time systems

D. Dill, R. Alur, C. Courcoubetis (2025)

0 comments Cited 43 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1999

Publication date (Online): January 14 2003

Pages: 134-145

DOI: 10.1007/3-540-48683-6_14

SO-VID: 80adaf96-b786-492e-b4db-928865ce0f46

History

Data availability:

Handling Global Conditions in Parametrized System Verification

Read this book at

Related collections

Model Reduction of Parametrized Systems 2015

Most cited references 15

Reasoning about systems with many processes

Verifying Programs with Unreliable Channels

Model-checking for real-time systems

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,445

Cited by 20