Vats: A Safe, Reactive Storage Abstraction.

Dave Clarke Tobias Wrigstad

Published in: Theory and Practice of Formal Methods (2016)

Keyphrases

data storage
storage and retrieval
high level
agent architecture
reactive planning
efficient storage
storage requirements
storage space
database management systems
file system
e learning
real world
databases
data sets
random access
storage systems
real time
database