Tag: Runtime verification

Tag Visualization: Top 50 related tags by occurrence

Recent Related Articles to Runtime verification

Runtime Verification and IOHK Launch Virtual Machine for Blockchains

Added to Collection on: 2017-12-18 03:18:45

Tags for this article:

Cryptocurrencies
Blockchains
Computing
Bitcoin
Technology
Decentralization
Smart contract
Software engineering
Runtime verification
LLVM
Formal methods
IOHK
Grigore Rosu

Click the tags to see associated articles and topics

View Article Details
Cardano (ADA) Smart Contract TestNet KEVM Released One More Scheduled

Added to Collection on: 2018-05-29 06:26:14

Tags for this article:

Cryptocurrencies
Blockchains
Alternative currencies
Computing
Cross-platform software
Ethereum
Smart contract
Software engineering
Computer programming
Cardano
Runtime verification
Ada

Click the tags to see associated articles and topics

View Article Details
#239 Grigore Rosu: The K framework – a framework to formally define all programming languages

Added to Collection on: 2018-06-12 05:11:15

Tags for this article:

Cryptocurrencies
Blockchains
Computing
Ethereum
Smart contract
Joseph Lubin
Solidity
Concurrent computing
Theoretical computer science
Runtime verification
Formal methods
Logic in computer science

Click the tags to see associated articles and topics

View Article Details
IOHK Launches IELE Virtual Machine Testnet for Cardano Blockchain

Added to Collection on: 2018-07-29 23:45:00

Tags for this article:

Cryptocurrencies
Blockchains
Computing
Ethereum
Smart contract
Solidity
Concurrent computing
Theoretical computer science
Cardano
Runtime verification
Formal methods
Logic in computer science

Click the tags to see associated articles and topics

View Article Details
Cardano [ADA] community and the CEO of Runtime Verification discuss the Cardano Protocol

Added to Collection on: 2018-08-25 17:22:30

Tags for this article:

Cryptocurrencies
Blockchains
Computing
Ethereum
Smart contract
Gerolamo Cardano
Verification
Computer science
Runtime verification
Formal methods
Logic in computer science
Academic disciplines

Click the tags to see associated articles and topics

View Article Details
Runtime Verification Raises $5.3 Million to Advance Blockchain Security

Added to Collection on: 2021-06-18 19:16:18

Tags for this article:

Cryptocurrencies
Blockchains
Articles
Technology
Computing
Grigore Rosu
Tezos
Cardano
Smart contract
Runtime verification
Verification
Elrond

Click the tags to see associated articles and topics

View Article Details
DeFi Security: Exploring the Potential of Formal Verification - BlockTelegraph

Added to Collection on: 2025-04-14 00:59:45

Tags for this article:

Theoretical computer science
Formal methods
Logic in computer science
Software quality
Decentralized finance
Formal verification
Runtime verification
Verification
Computer security
Correctness
Cryptographic protocol
Ethereum

Click the tags to see associated articles and topics

View Article Details
Book a Demo