Experiences on SIMD massively parallel GSPN analysis

Authors:
S. Caselli;G. Conte;F. Bonardi;M. Fontanesi
Affiliations:
Univ. di Parma, Italy;Univ. di Parma, Italy;Univ. di Parma, Italy;Univ. di Parma, Italy
Venue:
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Year:
1994

Parallel state space construction for model-checking

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Analysis of large GSPN models: a distributed solution tool

PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Distributed model-checking and counterexample search for CTL logic

International Journal of Critical Computer-Based Systems
Distributed CTL model-checking and counterexample search

VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems

Hi-index	0.00