Parallel explicit state reachability analysis and state space construction

Authors:
Dana Petcu
Affiliations:
Institute e-Austria Timişoara and Computer Science Department, Western University of Timişoara, Timişoara, Romania
Venue:
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Year:
2003

Citing 5
Cited 1

Automated parallelization of discrete state-space generation

Journal of Parallel and Distributed Computing - Special issue on dynamic load balancing
Parallel state space construction for model-checking

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Distributed and structured analysis approaches to study large and complex systems

Lectures on formal methods and performance analysis
Parallelizing the Murphi Verifier

CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
On the Efficient Sequential and Distributed Generation of Very Large Markov Chains from Stochastic Petri Nets

PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models

Formal verification methodology considerations for network on chips

Proceedings of the International Conference on Advances in Computing, Communications and Informatics

Quantified Score

Hi-index	0.00

Visualization

Abstract

An improvement is proposed for the algorithm described in [3] which allows the construction of the state space associated to a system. The improvement concerns the load balancing strategy. Different message-passing implementations on a cluster of workstations are also discussed.