Conference paper
Flexible pointer analysis using Assign-Fetch Graphs
Marcio Buss, Daniel Brand, et al.
SAC 2008
Paper
Verification of HDLC
Abstract
A version of the standard high level data link control protocol has been verified as an experiment with an automated verification system. This paper tries to answer questions such as: How can HDLC and its properties be represented? To what extent can they be proved? What are the main obstacles in verifying protocols like HDLC. Copyright © 1982 by The Institute of Electrical and Electronics Engineers, Inc.
Related
Conference paper
Technology adaptation in logic synthesis
William H. Joyner, Louise H. Trevillyan, et al.
DAC 1986
Conference paper
MEC: Memory-efficient convolution for deep neural network
M. Cho, Daniel Brand
ICML 2017
Paper
On typing in prolog
Daniel Brand
ACM SIGPLAN Notices