A primarily public-facing blockchain application execution platform. (https://www.ethereum.org/)
 Symbolic execution technology
Technology to thoroughly investigate the operation of a program in response to every possible variable of a value.
 Previous verification tools
Verification using Oyente, a smart contract analysis tool for Ethereum.
 Hyperledger Fabric
A blockchain framework implementation and one of the Hyperledger projects that is Intended to be a foundation for developing applications or solutions with a modular architecture. Hyperledger Fabric allows components, such as consensus and membership services, to be plug-and-play and leverages container technology to host smart contracts called “chaincode” that comprise the application logic of the system. (https://hyperledger.org/projects/fabric)
Founded in 1968 as a wholly owned subsidiary of Fujitsu Limited, Fujitsu Laboratories Ltd. 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 Next-generation Services, Computer Servers, Networks, Electronic Devices and Advanced Materials. For more information, please see: http://www.fujitsu.com/jp/group/labs/en/.
Fujitsu is the leading Japanese information and communication technology (ICT) company offering a full range of technology products, solutions and services. Approximately 155,000 Fujitsu people support customers in more than 100 countries. We use our experience and the power of ICT to shape the future of society with our customers. Fujitsu Limited (TSE: 6702) reported consolidated revenues of 4.5 trillion yen (US$40 billion) for the fiscal year ended March 31, 2017. For more information, please see http://www.fujitsu.com.
Technical ContactsInformation Systems Technologies Laboratory
Company:Fujitsu Laboratories Ltd.
Press ContactsPublic and Investor Relations Division
All company or product names mentioned 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: 07 March, 2018
City: Kawasaki, Japan, and Beijing, China
Company: Fujitsu Laboratories Ltd. ,Fujitsu Research and Development Center Co., Ltd.