Binary-Compatible Verification of Filesystems with ACL2.

Mihir Parang Mehta William R. Cook

Published in: ITP (2019)

Keyphrases

model checking
non binary
real time
face verification
natural language learning
gray code
verification method
formal methods
formal verification
agent communication language
binary representation
multi valued
formal analysis
data structure
multi agent
image segmentation
artificial intelligence
databases