Paul B. Jackson

Enhancing the NUPRL proof development system and applying it to computational abstract algebra

Paul B. Jackson · 1995 · 58 citations

Data Requirements for Implementation of <i>N</i> -Process Mutual Exclusion Using a Single Shared Variable

James E. Burns, Paul B. Jackson, Nancy Lynch et al. · Journal of the ACM · 1982 · 49 citations · Full text

SAT-based Model-Checking of Security Protocols

Luca Compagna, Thesis Supervisors, Alessandro Armando et al. · 2005 · 18 citations

Engineering, Information Security, Verification +20

Proceedings of the 22nd international conference on Computer Aided Verification

Tayssir Touili, Byron Cook, Paul B. Jackson · 2010 · 11 citations

Engineering, Automated Reasoning, Computer Aided Verification +11

Using SMT solvers to verify high-integrity programs

Paul B. Jackson, Bill J. Ellis, Kathleen Sharp · 2007 · 10 citations

Program Checking, Engineering, Verification +19