Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.

它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。

youdao

The modern atmosphere supports many forms of complex life that would not have been able to exist in Earth's first atmosphere because the oxygen level was too low.

现代大气层支持着许多复杂的生命形式，而这些生命在地球最初的大气层中是不可能存在的，因为当时的氧气含量太低。

youdao

Production costs in Iraq are low, particularly compared to the more complex offshore developments.

伊拉克的生产成本很低，特别是与更为复杂的海上开发相比。

youdao

Many of them may live in the huge low-income housing complex that has just been named in Justice Sotomayor's honor.

VOA: standard.2010.06.05

While many have visited the sprawling Dragon Mart complex where low-cost Chinese goods are sold wholesale, an estimated 180, 000 Chinese people reside in the country, including senior figures for state-run banks who negotiate joint investment opportunities in Africa with Western companies.

CNN: Is Dubai the center of the world (again)?

Currently, Papalia is keeping close watch on people who are trying the high-protein, low complex-carbohydrate carb diet popularized by Dr. Robert C.

FORBES: Magazine Article

Mark Spitz and Olga Korbut grabbed the headlines while the atmosphere around the Olympic village was so relaxed that off-duty athletes, returning from late nights in Bavarian beer halls, could often be found climbing into the complex over the low chain-link fence.

CNN: Olympic memories: Munich