Dipak L. Chaudhari

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 1

Top Topics

Automated Deduction

Imperative Programs

Top Venues

Formal Aspects Comput.

Publications

Dipak L. Chaudhari, Om P. Damani
Assumption propagation through annotated programs. Formal Aspects Comput. 29 (3) (2017)
Dipak L. Chaudhari, Om P. Damani
Combining Top-Down and Bottom-Up Techniques in Program Derivation. LOPSTR (2015)
Dipak L. Chaudhari, Om P. Damani
Building an IDE for the Calculational Derivation of Imperative Programs. F-IDE (2015)
Dipak L. Chaudhari, Om P. Damani
Introducing Formal Methods via Program Derivation. ITiCSE (2015)
Dipak L. Chaudhari, Om P. Damani
Automated Theorem Prover Assisted Program Calculations. IFM (2014)