๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Different directions in parallel and distributed model checking: (invited talk)

โœ Scribed by Orna Grumberg

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
29 KB
Volume
68
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Scalable Distributed Model Checking: Exp
Scalable Distributed Model Checking: Experiences, Lessons, and Expectations: (invited talk)
โœ Assaf Schuster ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 19 KB

In recent years a lot of effort has been put into using parallel and distributed environments to solve the computational and space complexity bottlenecks in model checking systems. In this talk we will survey early efforts, trying to pinpoint the reasons for their limited success. We will then outl

Scalable Distributed Model Checking: Exp
Scalable Distributed Model Checking: Experiences, Lessons, and Expectations: (invited talk)
โœ Assaf Schuster ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 31 KB

In recent years a lot of effort has been put into using parallel and distributed environments to solve the computational and space complexity bottlenecks in model checking systems. In this talk we will survey early efforts, trying to pinpoint the reasons for their limited success. We will then outl