CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

Details CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

2011-11-02

arxiv.org/abs/1111.0373v1

EPTCS 72, 2011, pp. 63-67

Computer Science

Software Engineering

In Proceedings PDMC 2011, arXiv:1111.0064

Scientific paper

10.4204/EPTCS.72.7

CoInDiVinE is a tool for parallel distributed model checking of interactions among components in hierarchical component-based systems. The tool extends the DiVinE framework with a new input language (component-interaction automata) and a property specification logic (CI-LTL). As the language differs from the input language of DiVinE, our tool employs a new state space generation algorithm that also supports partial order reduction. Experiments indicate that the tool has good scaling properties when run in parallel setting.

Affiliated with

Also associated with

No associations

Rating

CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-327458