Filters








2 Hits in 5.1 sec

PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence [chapter]

Michael Huth, Jim Huan-Pu Kuo
2014 Lecture Notes in Computer Science  
We present a tool PEALT that supports the understanding and validation of mechanisms that numerically aggregate trust evidence of potentially heterogenous sources.  ...  Verification code is generated by either compiling away numerical references prior to constraint solving or by delegating numerical reasoning to Z3, the common back-end constraint solver of PEALT.  ...  We thank Jason Crampton and Charles Morisset for very fruitful discussions on PEALT, anonymous reviewers for helpful comments, and Intel R Corporation for funding this work in its Trust Evidence research  ... 
doi:10.1007/978-3-642-54862-8_8 fatcat:6vqftuxukjdc7al2w6rdnfcada

Model-based analysis of nuclear arms control verification processes

Paul James Beaumont, Michael Huth, Chris Hankin, Atomic Weapons Establishment (Great Britain)
2017
Reduction of nuclear arms in a verifiable manner that is trusted by two or more parties is a hard but important problem.  ...  This thesis will cover three key models: a probabilistic Bayesian Network (BN) model for an arms control inspection scenario; a dynamical system that models an arms race with dynamics reflecting verification  ...  Acknowledgements I would firstly like to acknowledge my fantastic supervisor, Professor Michael Huth, who has guided me every step of the way through my PhD.  ... 
doi:10.25560/54653 fatcat:3xf32sjunbbgpkdeil4f6zlkm4