Oded Padon

Available identifiers

zbMath Open padon.odedMaRDI QIDQ2044195

List of research outcomes

Publication	Date of Publication	Type
Verification of threshold-based distributed algorithms by decomposition to decidable logics	2024-02-16	Paper
Deductive verification in decidable fragments with Ivy	2023-05-26	Paper
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays	2022-10-06	Paper
Temporal prophecy for proving temporal properties of infinite-state systems	2021-12-08	Paper
Counterexample-guided prophecy for model checking modulo the theory of arrays	2021-08-04	Paper
Bounded Quantifier Instantiation for Checking Inductive Invariants	2020-08-05	Paper
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs	2019-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q5232900	2019-09-13	Paper
Property Directed Reachability for Proving Absence of Concurrent Modification Errors	2017-02-21	Paper
Conjunctive Abstract Interpretation Using Paramodulation	2017-02-21	Paper
Decidability of inferring inductive invariants	2016-10-24	Paper
Decentralizing SDN Policies	2016-09-29	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: Oded Padon