Return to Article Details A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper) Download Download PDF