Summary: The intuitionistic fuzzy Kripke structure (IFKS) is extended to the weighted intuitionistic fuzzy Kripke structure (WIFKS), and then the intuitionistic fuzzy computational tree logic (IFCTL) is induced to the weighted intuitionistic fuzzy computational tree logic (WIFCTL). Based on these theories the intuitionistic fuzzy expected measure and multiple attribute decision making problems are researched. The weights of WIFKS are naturally used to depict the costs and benefits of engineering problems. And the intuitionistic fuzzy measure is used to quantify the uncertainty of a project progress. The WIFCTL is used to describe the uncertain engineering attribute constraints. A multi-attribute engineering optimization algorithm based on intuitionistic fuzzy model checking is given and its complexity is discussed.