A methodology for verification and analysis of parallel and distributed systems requirements specifications.