CertSAFE is a software suite developed by Cyient for the design, development, simulation, verification, and validation of safety-critical systems. CertSAFE features a graphical development environment for a visual modeling language based on dataflow…

CertSAFE is a software suite developed by Cyient for designing, simulating, verifying, and validating safety-critical systems. Team works on programming language theory, graph theory, UI design, concurrent/parallel software, and test automation. Dev…