Sign in
Commutativity in Automated Verification.
Azadeh Farzan
Published in:
LICS (2023)
Keyphrases
</>
automated verification
model checking
automated reasoning
formal verification
temporal logic
relational databases
update operations
machine learning
data structure
probabilistic reasoning