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 3 years ago
  • Berkeley, CA
19 votes
Accepted

Do past time LTL and future time LTL have the same expressiveness?

11 votes
Accepted

Practical applications of parity games

30 votes

Most memorable CS paper titles

494 votes
Accepted

Core algorithms deployed

6 votes

Symbolic Execution is a case of Abstract Interpretation?

21 votes

What is theoretical computer science?

8 votes
Accepted

Questions about special types of partial assignments

17 votes
Accepted

What is the goal behind abstract interpretation in programming languages?

2 votes
Accepted

Simple Bisimulation algorithm

1 vote

variations of SAT

10 votes

Good reference about approximate methods for solving logic problems

10 votes
Accepted

What's the correlation between treewidth and instance hardness for random 3-SAT?

14 votes
Accepted

Is there a hidden link between the existence uncountable sets and the undecidability of the halting problem?

6 votes

"lambda" term usage in programming

3 votes

What is the state of the art in theory of "Software transformations preserving behavior"?

2 votes

Resource for LTL formulae?

10 votes

(N)DFA with same initial/accepting state(s)

5 votes

Help in understanding Symbolic Execution

14 votes
Accepted

Enumerate all solutions of a SAT problem

3 votes
Accepted

Static structure of program

2 votes
Accepted

The meaning of: a program P posseses a property R

5 votes

Complexity one-alternation SMT

1 vote

Euclidean transitive relations

7 votes
Accepted

Monotonicity in data flow analysis

2 votes
Accepted

Verifying consistency of strict and non-strict partial orders constraints

8 votes
Accepted

Formal representation of an abstraction hierarchy

2 votes

Behaviour of Labelled Markov Processes

16 votes
Accepted

How can I use my computational theory and analysis powers for the greater good?

3 votes
Accepted

Verification: how 'formal' is a tool like Java Modeling Language (JML) compared to certified libraries and model checking?

2 votes
Accepted

What is the complexity of model checking Process Logic (LTL fragment)?