Katherine Cordwell

13 papers A 1B 3Journal 9
YearRankTypeTitle / Venue / Authors
2022 J jnl
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL.
Arch. Formal Proofs
Katherine Cordwell, Yong Kiam Tan, André Platzer
2021 B conf
A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm.
ITP
Katherine Cordwell, Yong Kiam Tan, André Platzer
2021 J jnl
A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm.
CoRR
Katherine Cordwell, Yong Kiam Tan, André Platzer
2021 J jnl
Pegasus: sound continuous invariant generation.
Formal Methods Syst. Des.
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
2021 J jnl
The BKR Decision Procedure for Univariate Real Arithmetic.
Arch. Formal Proofs
Katherine Cordwell, Yong Kiam Tan, André Platzer
2021 B conf
Verified Quadratic Virtual Substitution for Real Arithmetic.
FM
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
2021 J jnl
Verified Quadratic Virtual Substitution for Real Arithmetic.
Arch. Formal Proofs
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
2021 J jnl
Verified Quadratic Virtual Substitution for Real Arithmetic.
CoRR
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
2020 J jnl
Pegasus: Sound Continuous Invariant Generation.
CoRR
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
2019 J jnl
On Algorithms to Calculate Integer Complexity.
Integers
Katherine Cordwell, Alyssa Epstein, Anand Hemmandy, Steven J. Miller, Eyvindur A. Palsson, Aaditya Sharma, Stefan Steinerberger, Yen Nhi Truong Vu
2019 B conf
Pegasus: A Framework for Sound Continuous Invariant Generation.
FM
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
2019 A conf
Towards Physical Hybrid Systems.
CADE
Katherine Cordwell, André Platzer
2019 J jnl
Towards Physical Hybrid Systems.
CoRR
Katherine Cordwell, André Platzer
redb/extractors/js_extractors/scripts/package.json
← Index redb/extractors/js_extractors/scripts/package.json json 
{
  "name": "redb-js-xray-runner",
  "private": true,
  "description": "Node bridge that runs @nodesecure/js-x-ray for the Python JS pipeline. Run `npm install` here once, then point JS_XRAY_RUNNER_PATH at js-xray-runner.js (it defaults to this directory).",
  "version": "0.1.0",
  "main": "js-xray-runner.js",
  "scripts": {
    "postinstall": "patch-package"
  },
  "dependencies": {
    "@nodesecure/js-x-ray": "^7.0.0",
    "patch-package": "^8.0.1"
  }
}