Research
Unlocking the potential of blockchain
… Paris-Saclay are currently working on. Bitcoin (2008) and Ethereum (2015) are the most well-known, while Zcash (2016), … so that users, particularly those in industry, are able to describe their programme and its normal behaviour,” explains … The platform was developed by the Laboratory for Computer Science (LRI) which became the Formal Methods Laboratory …
Published on: