Tag: Coq

Tag Visualization: Top 50 related tags by occurrence

Recent Related Articles to Coq

Hedera Hashgraph first DLT to complete Coq formal method proof

Added to Collection on: 2018-10-17 07:26:15

Tags for this article:

Blockchains
Distributed ledger
Concurrent computing
Public-key cryptography
Distributed computing
Theory of computation
Consensus
Fault-tolerant computer systems
Byzantine fault tolerance
Hashgraph
Mathematical proof
Coq

Click the tags to see associated articles and topics

View Article Details
Hedera Hashgraph Becomes the First Blockchain Tech to be Coq Verified

Added to Collection on: 2018-10-20 08:42:30

Tags for this article:

Computing
Software engineering
Distributed ledger
Theoretical computer science
Public-key cryptography
Distributed computing
Theory of computation
Consensus
Fault-tolerant computer systems
Byzantine fault tolerance
Mathematical proof
Coq

Click the tags to see associated articles and topics

View Article Details
MIT Develops New Programming Language for High-Performance Computers - SciTechDaily

Added to Collection on: 2022-02-15 06:27:30

Tags for this article:

Programming languages
Computer programming
Software engineering
Tensors
Array data type
Program optimization
Coq
Array programming
Tensor software
Amanda Liu
Gilbert Louis Bernstein
Jonathan Ragan-Kelley

Click the tags to see associated articles and topics

View Article Details