Defense-in-Depth Runtime Safety in Move

Victor Gao, Wolfgang Grieskamp, Vineeth Kashyap, George Mitenkov, Teng Zhang, Runtian Zhou, Andrea Cappa, Marco Ilardi
PDF
Type
Conference paper
Publication
International Conference on Runtime Verification