Tag: Formal verification

Tag Visualization: Top 50 related tags by occurrence

Recent Related Articles to Formal verification

CertiK “high impressed” after security audit of stablecoin protocol Terra

Added to Collection on: 2019-05-13 14:56:15

Tags for this article:

Articles
Academic disciplines
Computing
Blockchain
Cryptocurrencies
Decentralization
Audit
Formal verification
Information security
Verification

Click the tags to see associated articles and topics

View Article Details
Tezos issues new grants for smart contract ecosystem development

Added to Collection on: 2019-09-16 09:07:30

Tags for this article:

Cryptocurrencies
Blockchains
Articles
Technology
Computing
Tezos
Michelson
Smart contract
Formal verification
France

Click the tags to see associated articles and topics

View Article Details
Blockchain security firm CertiK to help Liquid vet listings and IEO projects

Added to Collection on: 2020-01-22 20:22:30

Tags for this article:

Cryptocurrencies
Articles
Technology
Computing
Decentralization
Blockchains
Smart contract
Formal verification
Computer security

Click the tags to see associated articles and topics

View Article Details
Three ways formal methods can scale for software security

Added to Collection on: 2021-01-04 05:26:15

Tags for this article:

Software engineering
Computing
Software testing
Academic disciplines
Theoretical computer science
Software review
Formal methods
Source code
Static program analysis
Formal verification
Code review
Formal specification

Click the tags to see associated articles and topics

View Article Details
AI And ML Applications Require Advanced Datapath Verification

Added to Collection on: 2021-01-28 08:03:45

Tags for this article:

Computing
Academic disciplines
Technology
Central processing unit
Computer engineering
Theoretical computer science
Hardware acceleration
Formal equivalence checking
Datapath
Processor design
Synopsys
Formal verification

Click the tags to see associated articles and topics

View Article Details
Formal verification: how a 400 year old mathematical idea could transform cybersecurity

Added to Collection on: 2024-08-06 22:41:53

Tags for this article:

Theoretical computer science
Software testing
Formal verification
Logic in computer science
Formal methods
Frama-C
Computer security
Application security
Software
Verification
Computer science
Vulnerability

Click the tags to see associated articles and topics

View Article Details
Ethereum Foundation Pours 'Millions' Into This New Tech - Bitcoinist

Added to Collection on: 2024-11-30 00:14:16

Tags for this article:

Blockchains
Cross-platform software
Bytecodes
Ethereum
RISC-V
Cryptography
Computer security
Formal verification
EVM
Cryptographic primitive
poseidon group

Click the tags to see associated articles and topics

View Article Details
How AI and ML optimize functional verification for EDA - EE World Online

Added to Collection on: 2025-02-05 11:09:35

Tags for this article:

Logic in computer science
Electronic engineering
Hardware verification languages
Integrated circuits
Functional verification
SystemVerilog
Integrated circuit design
Hardware verification language
Hardware description language
Electronic design automation
Formal verification
Verification

Click the tags to see associated articles and topics

View Article Details
Immunefi Partners with Runtime Verification and Integrates - GlobeNewswire

Added to Collection on: 2025-04-09 13:24:33

Tags for this article:

Formal methods
Logic in computer science
Formal verification
Theoretical computer science
Computer security
Cryptographic protocol
Verification
Runtime verification
Magnus

Click the tags to see associated articles and topics

View Article Details
Rewriting SymCrypt in Rust to modernize Microsoft's cryptographic library

Added to Collection on: 2025-06-10 21:04:38

Tags for this article:

High-level programming languages
Procedural programming languages
Functional languages
Rust
ML
Formal verification
Functional programming
C
Linux kernel

Click the tags to see associated articles and topics

View Article Details
Book a Demo