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)

Solving LIA* Using Approximations

von Levatich, Maxwell
Veröffentlicht in VMCAI (21. : 2020 : New Orleans, La.) Verification, model checking, and abstract interpretation (2020)

Run-time Complexity Bounds Using Squeezers

von Ish-Shalom, Oren
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)

Verification, model checking, and abstract interpretation : 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings

Veröffentlicht 2021

Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction

von Ish-Shalom, Oren
Veröffentlicht in VMCAI (21. : 2020 : New Orleans, La.) Verification, model checking, and abstract interpretation (2020)

Inferring Invarlants with Quantifier Alternations: Taming the Search

von Koenig, Jason R.
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)

Global Guidance for Local Generalization in Model Checking

von Krishnan, Hari Govind Vediramana
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings

Veröffentlicht 2022

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings

Veröffentlicht 2022