Spoq: Scaling Machine-Checkable Systems Verification in Coq.

Xupeng Li Xuheng Li Wei Qiang Ronghui Gu Jason Nieh

Published in: OSDI (2023)

Keyphrases

formal methods
distributed systems
artificial intelligence
building blocks
neural network
genetic algorithm
expert systems
intelligent systems
asynchronous circuits
database
real time
data sets
natural language
computational intelligence
computing systems