EDF

A Survey of Verification, Validation andTesting Solutions for Smart Contracts

Acceptance of blockchain-based distributed systems in industry requires a thorough justification of their depend- ability and security. To foster blockchain acceptance, this paper proposes a new engineering perspective rooted in classic tools and …

Justifying the Dependability and Security of Business-Critical Blockchain-based Applications

Acceptance of blockchain-based distributed systems in industry requires a thorough justification of their depend- ability and security. To foster blockchain acceptance, this paper proposes a new engineering perspective rooted in classic tools and …

Blockchain pour le nucléaire. focus sur le projet I3P CyberQL (Cybersécurité et Qualité Logiciel)

A talk discussing the potential of using agent-based modeling and simulation for studying the usage of blockchain for nuclear systems.

Digital Reactor

Digital Reactor

I3P Blockchain

Blockchain for Nuclear