Runtime Verification Under Access Restrictions.

Rania Taleb Raphaël Khoury Sylvain Hallé

Published in: FormaliSE@ICSE (2021)

Keyphrases

access control
model checking
real time
formal verification
method invocation
database
information retrieval
e learning
database systems
face recognition
random access
asynchronous circuits