0.122 errors per 1,000 steps
Source: "Software Development Data White Book 2007", Software Engineer Information Technology Promotion Agency, Japan. "Step" refers to a figure used to measure program size.
 Formal Verification
A verification method to prove the accuracy of software by mathematical means.
 Java PathFinder
A verification tool (model checking) for Java. For more information: http://javapathfinder.sourceforge.net/
 NASA Ames Research Center
As one of NASA's research centers, Ames Research Center provides research leadership in space-related technologies including astrobiology, robotic lunar exploration, technologies for manned space flight, the search for habitable planets, supercomputing, intelligent/adaptive systems, advanced thermal protection, and airborne astronomy. For more information: http://www.nasa.gov/centers/ames/home/index.html
Founded in 1968 as a wholly owned subsidiary of Fujitsu Limited, Fujitsu Laboratories Limited is one of the premier research centers in the world. With a global network of laboratories in Japan, China, the United States and Europe, the organization conducts a wide range of basic and applied research in the areas of Multimedia, Personal Systems, Networks, Peripherals, Advanced Materials and Electronic Devices. For more information, please see:http://jp.fujitsu.com/group/labs/en/
Fujitsu Laboratories of America, Inc. is a wholly owned subsidiary of Fujitsu Laboratories Ltd. (Japan), focusing on research on advanced VLSI CAD, Internet, and interconnect technologies. Conducting research in an open environment, it contributes to the global research community and the working IT industry. It is headquartered in Sunnyvale, CA.
For more information, please see: www.fla.fujitsu.com
Press ContactsPublic and Investor Relations Division
Technical ContactsSoftware & Solutions Laboratories
Company:Fujitsu Laboratories Ltd.
Company and product names referenced herein are trademarks or registered trademarks of their respective owners. Information provided in this press release is accurate at time of publication and is subject to change without advance notice.
Date: 04 April, 2008
City: Kawasaki, Japan and Sunnyvale, US
Company: Fujitsu Laboratories Ltd., Fujitsu Laboratories of America, Inc., , , ,