Vulval Development Modeling Using HFPNe and its Simulation-based Formal Model Validation Simulation-based model checking approach to cell fate specification during C. elegans…