e/Perfect Developer

Information
has gloss	eng: Perfect Developer (PD) is a tool for developing computer programs in a rigorous manner. It is used to develop applications in areas including IT systems and airborne critical systems. The principle is to develop a formal specification and refine the specification to code. Even though the tool is founded on formal methods, the suppliers claim that advanced mathematical knowledge is not a prerequisite.
lexicalization	eng: Perfect Developer
instance of	c/Formal methods tools