Invariant Inference with Provable Complexity from the Monotone Theory

von Feldman, Yotam M. Y.
Veröffentlicht in SAS (29. : 2022 : Auckland) Static analysis (2022)

SAT-Based Invarıant Inference and Its Relation to Concept Learning

von Feldman, Yotam M. Y.
Veröffentlicht in RP (16. : 2022 : Kaiserslautern) Reachability problems (2022)