Affiliation:
1. Northeastern University
Publisher
Open Publishing Association
Subject
Psychiatry and Mental health
Reference49 articles.
1. Special issue on system verification;Bevier;Journal of Automated Reasoning,1989
2. Modeling and verifying security protocols with the applied pi calculus and ProVerif;Blanchet;Foundations and Trendsin Privacy and Security,2016
3. Most balanced minimum cuts;Bonsma;Discrete Applied Mathematics,2010
4. The Boyer-Moore theorem prover and its interactive enhancement;Boyer;Computers and Mathematics with Applications,1995
5. The "ACL2" Sedan Theorem Proving System;Chamarthi,2011