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