Formalization and Verification of a Mail Server in Coq.

Reynald Affeldt Naoki Kobayashi

Published in: ISSS (2002)

Keyphrases

formal methods
formal analysis
client server
email
model checking
web server
verification method
knowledge representation
formal model
theorem prover
face verification
database
single server
high end
expert systems
formal specification
temporal logic