Verifying Dynamic Trait Objects in Rust.

Alexa VanHattum Daniel Schwartz-Narbonne Nathan Chong Adrian Sampson

Published in: ICSE (SEIP) (2022)

Keyphrases

object level
dynamic environments
multimedia
multiscale
d objects
database
learning algorithm
artificial intelligence
website
three dimensional
model checking