Ownership Types for Verification of Programs with Pointer Arithmetic.

Izumi Tanaka Ken Sakayori Naoki Kobayashi

Published in: CoRR (2023)

Keyphrases

model checking
database
data structure
formal methods
programming environment
databases
database systems
asynchronous circuits
language constructs
symbolic execution