Table 5 The heat shock response and the \(\mathsf {ErbB}\) models statistics.
From: Scalable reaction network modeling with automatic validation of consistency in Event-B
Heat shock response models | ErbB signaling pathway models | |||
|---|---|---|---|---|
Basic25 | Refined48 | Basic29 | Refined29 | |
Molecular species | 10 | 20 | 110 | 394 |
Molecular reactions | 17 | 57 | 242 | 1320 |
Variables | 10 | 10 | 110 | 110 |
Events | 17 | 17 | 242 | 242 |
Invariants | 13 | 18 | 110 | 110 |
Proof obligations discharged by the default prover | 79 | 73 | 794 | 15 |
Proof obligations discharged by other internal provers | 0 | 62 | 154 | 1260 |
