Yong Kiam Tan

Available identifiers

zbMath Open tan.yong-kiamMaRDI QIDQ1799128

List of research outcomes

Publication	Date of Publication	Type
Verifying Switched System Stability With Logic	2024-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q6099601	2023-06-20	Paper
Implicit definitions with differential equations for KeYmaera X (system description)	2022-12-07	Paper
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL	2022-09-22	Paper
Pegasus: sound continuous invariant generation	2022-06-20	Paper
Deductive stability proofs for ordinary differential equations	2021-10-18	Paper
\texttt{cake\_lpr}: verified propagation redundancy checking in CakeML	2021-10-18	Paper
An axiomatic approach to existence and liveness for differential equations	2021-09-14	Paper
Vector barrier certificates and comparison systems	2021-05-04	Paper
Differential Equation Axiomatization	2021-01-20	Paper
Differential Equation Invariance Axiomatization	2020-11-11	Paper
Proof-producing synthesis of CakeML from monadic HOL functions	2020-11-02	Paper
The verified CakeML compiler backend	2019-11-22	Paper
Proof-producing synthesis of CakeML with I/O and local state from monadic HOL functions	2018-10-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yong Kiam Tan