Computer Science
Vijay D's user avatar
Vijay D's user avatar
Vijay D's user avatar
Vijay D
  • Member for 11 years, 9 months
  • Last seen more than 6 years ago
  • Berkeley, CA
Profile Activity
Stats
844
reputation
21k
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
41
Score
6
Posts
55
Posts %
29
Score
3
Posts
27
Posts %
24
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 and answers
All Questions Answers
Score Newest
answer
18
Equivalence of Büchi automata and linear $\mu$-calculus
Apr 7, 2012
answer
9
Fixed point, what does it mean in the world of computer science
Sep 9, 2012
answer
8
Looking for a book that derives and constructs a model checking application
Jul 27, 2012
answer
8
Getting started with Program Analysis
Mar 23, 2013
answer
6
Understanding DPLL algorithm
Mar 31, 2013
answer
6
Why use $\mu$-calculus and not LTL,CTL,CTL*?
Oct 31, 2013
answer
5
Loop Invariants as Tautologies
Mar 12, 2013
answer
3
How can I decide manually whether two CTL formulae are equivalent?
Mar 22, 2012
answer
3
How to implement simulation on two LTSs?
Aug 2, 2012
answer
3
The meaning of modulo in “formula modulo a background theory”
Sep 6, 2012
Top network posts
View all network posts
497
Core algorithms deployed
358
What is the enlightenment I'm supposed to attain after studying finite automata?
34
How practical is Automata Theory?
34
Applications of topology to computer science
30
Most memorable CS paper titles

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.