Flexible and configurable verification policies with Omnibus.

Thomas Wilson Savi Maharaj Robert G. Clark

Published in: Softw. Syst. Model. (2008)

Keyphrases

model checking
multiscale
decision making
real world
machine learning
expert systems
supply chain
optimal policy
face verification
formal verification
cryptographic protocols