Deebakkarthi Chinnasame Rani

• Academics
• Research
• Projects
• Misc.

• Recent posts
• 2026-04-04 Zig
• 2026-04-04 Software Analysis Project Notes
• 2026-04-04 Lean4
• 2026-04-04 sva_gen_lean implementation notes
• 2026-04-04 Coverage Metrics for Formal Verification
• 2026-04-04 Coverage Literature Review
• 2026-04-02 Meeting with Tommy
• 2026-04-02 svabench Implementation notes
• 2026-03-31 Meeting with kevin
• 2026-03-26 Meeting with Tommy
• See archive...
• Tags
• rss

---