Borrowable Fractional Ownership Types for Verification.

Takashi Nakayama Yusuke Matsushita Ken Sakayori Ryosuke Sato Naoki Kobayashi

Published in: VMCAI (2) (2024)

Keyphrases

artificial intelligence
databases
neural network
computer vision
video sequences
computational complexity
model checking
formal verification