Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System

摘要: One of the most challenging issues nowadays in software community is development systems providing a certain level quality at reasonable cost and time delay. This reflected fact that many important application areas such as aeronautics, nuclear energy, telecommunication or medical applications require high reliability safety. A reduction increased policy requires adopting rigorous methodologies earlier phases process where it cheaper to fix deficiencies may arise. Rigorous precise can be achieved using formal methods. The use methods improves insight into understanding requirements, help clarify customer’s requirements by highlighting avoiding contradictions ambiguities specifications, enables verification specifications their implementations. In spite these benefits, utilization industry relatively restricted, due primarily, among other reasons, esoterism lack friendliness formalisms, industrial tool support so on.