Safety Verification and Universal Invariants for Relational Action Bases.

Silvio Ghilardi Alessandro Gianola Marco Montali Andrey Rivkin

Published in: IJCAI (2023)

Keyphrases

relational databases
relational data
model checking
relational model
formal verification
safety analysis
concurrent systems
feature vectors
data model
affine invariant
asynchronous circuits
face recognition
pattern recognition
relational learning
formal methods
safety critical