Boolean Functional Synthesis: From Under the Hood of Solvers

von Chakraborty, Supratik
Veröffentlicht in Indian Conference on Logic and Its Applications (10. : 2023 : Indore) Logic and its applications (2023)

Automated technology for verification and analysis : 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3 - 6, 2012 ; proceedings

Veröffentlicht 2012

Diffy: Inductive Reasoning of Array Programs Using Difference Invariants

von Chakraborty, Supratik
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

On Eventual Non-negativity and Positivity for the Weighted Sum of Powers of Matrices

von Akshay, S.
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

Verifying Array Manipulating Programs with Full-Program Induction

von Chakraborty, Supratik
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Projected Model Counting: Beyond Independent Support

von Yang, Jiong
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)

Weakest Precondition Inference for Non-Deterministic Linear Array Programs

von Prabhu, S. Sumanth
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 2 (2024)

Verified software : theories, tools, and experiments : 11th international conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers

Veröffentlicht 2020

VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)

von Afzal, Mohammad
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)