Login / Signup
Automated Verification of Specifications with Typestates and Access Permissions.
Radu I. Siminiceanu
Ijaz Ahmed
Néstor Cataño
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2012)
Keyphrases
</>
automated verification
model checking
access control
automated reasoning
formal verification
graph theory
temporal logic
formal specification
role based access control
information access
privacy policies
machine learning
artificial intelligence
bayesian networks
knowledge representation
random access