Mechanizing the CMP Abstraction for Parameterized Verification.

Yongjian Li Bohua Zhan Jun Pang

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

hardware designs
model checking
bounded model checking
formal verification
high level
face verification
verification method
signature verification
concurrent systems
data structure
formal analysis
data abstraction
person identification