Paul B. Jackson

According to our database, Paul B. Jackson authored at least 21 papers between 1992 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants.

Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson

J. Autom. Reason., 2019

2018

Compositional Taylor Model Based Validated Integration.

Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

VerC3: A library for explicit state synthesis of concurrent systems.

Marco Elver, Christopher J. Banks, Paul B. Jackson, Vijay Nagarajan

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants.

Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Verification of a lazy cache coherence protocol against a weak memory model.

Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

A Method for Invariant Generation for Polynomial Continuous Systems.

Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015

Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems.

Andrew Sogokon, Paul B. Jackson

Proceedings of the FM 2015: Formal Methods, 2015

2014

Verifying Hybrid Systems Involving Transcendental Functions.

Paul B. Jackson, Andrew Sogokon, James P. Bridge, Lawrence C. Paulson

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013

Auditing User-Provided Axioms in Software Verification Conditions.

Paul B. Jackson, Florian Schanda, Angela Wallenburg

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2012

Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase.

Grant Olney Passmore, Paul B. Jackson

Proceedings of the How the World Computes, 2012

2010

Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops.

Grant Olney Passmore, Leonardo Mendonça de Moura, Paul B. Jackson

Proceedings of the Decision Procedures in Software, Hardware and Bioware, 18.04., 2010

2009

Combined Decision Techniques for the Existential Theory of the Reals.

Grant Olney Passmore, Paul B. Jackson

Proceedings of the Intelligent Computer Mathematics, 2009

2006

A Compact Linear Translation for Bounded Model Checking.

Paul B. Jackson, Daniel Sheridan

Proceedings of the Fourth International Workshop on Bounded Model Checking, 2006

Nuprl.

Paul B. Jackson

Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006

2004

Clause Form Conversions for Boolean Circuits.

Paul B. Jackson, Daniel Sheridan

Proceedings of the Theory and Applications of Satisfiability Testing, 2004

2000

Total-Correctness Refinement for Sequential Reactive Systems.

Paul B. Jackson

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

Constructively formalizing automata theory.

Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan C. Uribe

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1998

Verifying a Garbage Collection Algorithm.

Paul B. Jackson

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1995

Enhancing the NUPRL Proof Development System and Applying it to Computational Abstract Algebra.

Paul B. Jackson

PhD thesis, 1995

1994

Exploring Abstract Algebra in Constructive Type Theory.

Paul B. Jackson

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1992

Nuprl and Its Use in Circuit Design.

Paul B. Jackson

Proceedings of the Theorem Provers in Circuit Design, 1992