Pediatric surgeons need precise and advanced energy sources for performing procedures on neonates. The technologies have also advanced and industry is continuously upgrading to develop solutions that perform precise and effective action and at the same time is safe and reliable to both the patient as well to the theatre personnels [1]. The major energy sources for neonatal surgery available are...

The current technology of verification engineering requires well-trained personnels in logics and automaton theory, who carefully tune their verification packages, to tame the well-known state-space explosion problem. Several researches have resulted in a large number of techniques for reducing the system state-space, such as symmetry-based reductions, partial-order semantics, bisimulation equi...