Gidon Ernst

Available identifiers

zbMath Open ernst.gidonMaRDI QIDQ1798667

List of research outcomes

Publication	Date of Publication	Type
Falsification of hybrid systems using adaptive probabilistic search	2024-08-08	Paper
\textsc{SecCSL}: security concurrent separation logic	2024-02-16	Paper
Loop verification with invariants and contracts	2022-07-08	Paper
Bridging arrays and ADTs in recursive proofs	2021-10-18	Paper
Unifying separation logic and region logic to allow interoperability	2018-10-23	Paper
RGITL: a temporal logic framework for compositional reasoning about interleaved programs	2014-07-11	Paper

Research outcomes over time

This page was built for person: Gidon Ernst