![Information / Communications protocol / Finite-state machine / Algorithm / Mealy machine / Function / Output / Model checking / Models of computation / Mathematics / Data Information / Communications protocol / Finite-state machine / Algorithm / Mealy machine / Function / Output / Model checking / Models of computation / Mathematics / Data](https://www.pdfsearch.io/img/2e8d90ab758180a3972b396b82f0401e.jpg) Information Communications protocol Finite-state machine Algorithm Mealy machine Function Output Model checking Models of computation Mathematics Data | | MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, BerkeleyAdd to Reading ListSource URL: www.cs.berkeley.eduDownload Document from Source Website File Size: 211,26 KBShare Document on Facebook
|