PerSeVerE: persistency semantics for verification under ext4.

Michalis Kokologiannakis Ilya Kaysin Azalea Raad Viktor Vafeiadis

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

formal semantics
model checking
file system
epistemic logic
machine learning
asynchronous circuits
signature verification
logical framework
query processing
description logics
conceptual graphs
expert systems
data mining
formal verification
person identification
neural network
database