Computer Science
Profile Activity
Network profile
814
reputation
4
9

Vijay D

Research areas: program verification, static analysis, logic.

11
answers
0
questions
~17k
people reached
  • Berkeley, CA
  • Member for 8 years, 10 months
  • 135 profile views
  • Last seen Nov 6 '17 at 17:00

Communities (6)

Top network posts

Top tags (0)

This user has not participated in any tags.

Top posts (11)

All Questions Answers
Votes Newest
18 Equivalence of Büchi automata and linear $\mu$-calculus Apr 7 '12
9 Fixed point, what does it mean in the world of computer science Sep 9 '12
8 Looking for a book that derives and constructs a model checking application Jul 27 '12
7 Getting started with Program Analysis Mar 23 '13
5 Why use $\mu$-calculus and not LTL,CTL,CTL*? Oct 31 '13
5 Understanding DPLL algorithm Mar 31 '13
5 Loop Invariants as Tautologies Mar 12 '13
3 How to implement simulation on two LTSs? Aug 2 '12
3 The meaning of modulo in “formula modulo a background theory” Sep 6 '12
3 How can I decide manually whether two CTL formulae are equivalent? Mar 22 '12
View all questions and answers →

Badges (13)

Gold

—

Silver

4

Rarest

Bronze

9

Rarest

View all badges →