formal verification
Sign in to saveact of proving or disproving the correctness of intended algorithms
Connections
electronic design automation
Entity
model checking
Entity
proof assistant
Entity
Evaluation Assurance Level
Entity
mathematics
Entity
software
Entity
International Standard Book Number
Entity
Q15777
Entity
programming language
Entity
computer hardware
Entity
Wayback Machine
Entity
mathematical proof
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
compiler
Entity
computer security
Entity
source code
Entity
kernel
Entity
Cisco
Company
Q118398
Entity