Computer Science
Vijay D
  • Member for 9 years, 8 months
  • Last seen more than 4 years ago
  • Berkeley, CA
Profile Activity
Stats
824
reputation
18k
reached
11
answers
0
questions
Communities
View all
About

Research areas: program verification, static analysis, logic.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
9
bronze badges
Top tags
View all tags
39
Score
6
Posts
55
Posts %
29
Score
3
Posts
27
Posts %
23
Score
2
Posts
18
Posts %
21
Score
2
Posts
18
Posts %
16
Score
2
Posts
18
Posts %
12
Score
2
Posts
18
Posts %
Top posts
View all questions, answers, and articles
All Questions Answers Articles
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
Top network posts
View all network posts
488
Core algorithms deployed
352
What is the enlightenment I'm supposed to attain after studying finite automata?
33
How practical is Automata Theory?
30
Most memorable CS paper titles
30
Applications of topology to computer science

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.