DEV Community

# verification

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
VHE: Why Gate-Level Simulation Breaks at Scale (and What We Tried Instead)

VHE: Why Gate-Level Simulation Breaks at Scale (and What We Tried Instead)

Comments
2 min read
Why Coverage Signoff Still Fails (Even with Better Tools)

Why Coverage Signoff Still Fails (Even with Better Tools)

Comments
2 min read
EQWAVE: Timestamps lie. Behavior doesn't

EQWAVE: Timestamps lie. Behavior doesn't

Comments
1 min read
From VAI to Mini-GPT: Verified Transformer Execution on Custom NPU Hardware

From VAI to Mini-GPT: Verified Transformer Execution on Custom NPU Hardware

Comments
2 min read
A Formal Verification of the XRP Ledger

A Formal Verification of the XRP Ledger

1
Comments
6 min read
Stop Wasting SMS: Real-Time Phone Verification with CheckHim

Stop Wasting SMS: Real-Time Phone Verification with CheckHim

2
Comments
1 min read
Inside RISC-V Verification – A Hands-On Look at RISC-V Verification for Next-Gen Designs Using Synopsys’ Flow

Inside RISC-V Verification – A Hands-On Look at RISC-V Verification for Next-Gen Designs Using Synopsys’ Flow

Comments
5 min read
Verified Ordered Set in Dafny

Verified Ordered Set in Dafny

Comments
22 min read
I Was Locked Out of My LinkedIn Account for Over a Month — Here's the Brutal Truth

I Was Locked Out of My LinkedIn Account for Over a Month — Here's the Brutal Truth

28
Comments 2
2 min read
Verification vs Validation: What are the Differences

Verification vs Validation: What are the Differences

3
Comments
11 min read
🧨 I've built products that detect fraud better than many banks. And I'm a startup.

🧨 I've built products that detect fraud better than many banks. And I'm a startup.

1
Comments
1 min read
Why your Open Banking Adoption Might Fail Without Strong KYC

Why your Open Banking Adoption Might Fail Without Strong KYC

10
Comments 1
8 min read
The original motivation for creating Lean was software verification

The original motivation for creating Lean was software verification

2
Comments
1 min read
Stay Safe Online: Why You Need Two-Step Verification Now!

Stay Safe Online: Why You Need Two-Step Verification Now!

1
Comments
2 min read
How to Verify User Accounts in Passkey-Based Systems

How to Verify User Accounts in Passkey-Based Systems

1
Comments
3 min read
A Developer’s Guide to Verifying Customer Financial Data in Nigeria

A Developer’s Guide to Verifying Customer Financial Data in Nigeria

17
Comments 1
6 min read
Exploring Advanced Techniques in Portable Stimulus Standard (PSS) for Semiconductor Verification

Exploring Advanced Techniques in Portable Stimulus Standard (PSS) for Semiconductor Verification

3
Comments
9 min read
Building Digital Trust: A Look at Top Identity Verification Solutions

Building Digital Trust: A Look at Top Identity Verification Solutions

Comments
2 min read
Beyond Passwords: 7 Emerging Technologies in Identity Verification

Beyond Passwords: 7 Emerging Technologies in Identity Verification

Comments
2 min read
Queuing Laravel email verification

Queuing Laravel email verification

1
Comments
2 min read
Verify Your Smart Contract Code

Verify Your Smart Contract Code

1
Comments
2 min read
Writing lemmas in Dafny

Writing lemmas in Dafny

3
Comments
3 min read
Automatic Program Verification using Dafny

Automatic Program Verification using Dafny

4
Comments
4 min read
Alloy and an adventure with database concurrency

Alloy and an adventure with database concurrency

10
Comments
8 min read
Laravel Email Verification APIs

Laravel Email Verification APIs

46
Comments
2 min read
loading...