PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence.

Michael Huth, Jim Huan-Pu Kuo

Browse the full TACAS paper archive.