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