Login / Signup
Formal analysis of the application programming interface of the PVS verification system.
Paolo Masci
Published in:
J. Log. Algebraic Methods Program. (2022)
Keyphrases
</>
formal analysis
application programming interface
formal verification
formal methods
malware detection
client server
model checking
agent model
mashup
ban logic
anomaly detection