Formal Modeling and Verification for Domain Validation and ACME.

Karthikeyan Bhargavan Antoine Delignat-Lavaud Nadim Kobeissi

Published in: Financial Cryptography (2017)

Keyphrases

domain specific
formal representation
formal analysis
formal methods
model validation
formal models
dynamic aspects
domain independent
formal model
modeling method
colored petri nets
neural network
model checking
probabilistic model
multi agent systems
face recognition
case study
decision making