Login / Signup

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