Viper: A Verification Infrastructure for Permission-Based Reasoning.

Peter Müller Malte Schwerhoff Alexander J. Summers

Published in: VMCAI (2016)

Keyphrases

face verification
model checking
information exchange
verification method
security policies
access control
third party
signature verification
formal verification
highly distributed
support environment
false acceptance rate
neural network
concurrent systems
data collection
information systems
real world