C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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