Loading...

Model checking in Rebeca

Sirjani, M ; Sharif University of Technology | 2003

206 Viewed
  1. Type of Document: Article
  2. Publisher: 2003
  3. Abstract:
  4. Rebeca is a recently introduced actor-based language, for modeling concurrent and distributed systems. In this paper, we present our work on model checking Rebeca code. Rebeca is a high level language, comparing to the most of languages used for modeling, in the existing model checker tools. So, we need specific abstraction techniques for model checking Rebeca code. Here, we show some of these abstraction techniques used and some case studies
  5. Keywords:
  6. Abstraction ; Actor model ; Concurrency ; Model checking ; Rebeca
  7. Source: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, NV, 23 June 2003 through 26 June 2003 ; Volume 4 , 2003 , Pages 1819-1822 ; 1892512416 (ISBN)