Old Web
English
Sign In
Acemap
>
Paper
>
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols.
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols.
2021
Jianan Yao
Runzhou Tao
Ronghui Gu
Jason Nieh
Suman Jana
Gabriel Ryan
Keywords:
Computer science
Theoretical computer science
Invariant (mathematics)
Data-driven
Correction
Source
Cite
Save
Machine Reading By IdeaReader
16
References
1
Citations
NaN
KQI
[]