Modular Formal Verification of Specifications of Concurrent Systems