Computer Science
Profile Activity
Network profile
824
reputation
4
9

Vijay D

Research areas: program verification, static analysis, logic.

11
answers
0
questions
~18k
people reached
  • Berkeley, CA
  • Member for 9 years, 3 months
  • 140 profile views
  • Last seen Nov 6 '17 at 17:00

Communities (6)

Top network posts

Top tags (23)

Score 39
Posts 6
Posts % 55
Score 29
Posts 3
Score 23
Posts 2
Score 21
Posts 2
Score 16
Posts 2
Score 12
Posts 2
View all 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 Getting started with Program Analysis Mar 23 '13
8 Looking for a book that derives and constructs a model checking application Jul 27 '12
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 →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.