Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid