### Table 4: Runtimes of the model checker

1998

Cited by 2

### Table I. Statistics for the model checker

in Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach

1981

Cited by 1

### Table I. Statistics for the model checker

in Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach

1981

Cited by 1

### TABLES Model Checker Institute Model Method

### Table 1. Some model checkers and corresponding properties

"... In PAGE 7: ...A second important factor for such an approach is the specific model checker being selected because of their rather different features, such as their system models, that are more or less suitable for our endeavor. Table1 presents a list of some well-known model checkers and some of their features. Three properties of model checkers we are particularly interested in are (i) how the input system can be modeled, (ii) what types of properties are sup- ported, and (iii) how large of a system on which it can model check.... In PAGE 7: ... System model. All model checkers on Table1 input system models as textual... ..."

### Table 1. Runtimes and heap sizes of the model checker

1999

Cited by 8

### Table 1. Probabilistic User Model

2006

"... In PAGE 4: ... In these studies, users marked 85% of formula cells on average when testing and debugging spreadsheets, often placing check-marks on cells, and rarely placing a23-marks on cells. Of the cells that users marked, users in our earlier studies made mistakes according to the probabilities given in Table1 , so for our study, we simulated user behavior based on these probabilities. The bold numbers in Table 1 highlight false positive (check on incorrect value) and false negative (a23 on correct value) oracle mistakes.... ..."

Cited by 2

### Table 5 Probabilistic model parameters

2006

Cited by 1

### Table 8: Probabilistic model: Terminology

"... In PAGE 38: ... Notation P denote the path being currently considered. Table8 summarizes the notation. 1 1 1 0.... ..."