Skip to main content
revision's user avatar
revision's user avatar
revision's user avatar
revision
  • Member for 1 year, 2 months
  • Last seen more than a week ago
2 votes
1 answer
123 views

Can CTL* express every model's behaviour

1 vote
1 answer
228 views

Product Construction for DFAs with different alphabets

0 votes
1 answer
94 views

Proving a language is recursively enumerable

0 votes
0 answers
9 views

Clustered and Unclustered Indices non-key lookup costs and query plan

0 votes
1 answer
22 views

Linear Time properties classification

0 votes
0 answers
16 views

Irregular Safety Properties

0 votes
0 answers
16 views

LTL Model Checking Worst Case size for NBA

0 votes
0 answers
14 views

ROBDDs heuristics for optimal variable ordering

0 votes
0 answers
16 views

When does Simulation Equivalent imply Bisimulation

0 votes
0 answers
8 views

Counterexample Construction and Translation in CEGAR