| Name | Last Change | Versions |
|---|---|---|
| -FAQ: 20 x 1000 x 1000 Lines Of Code can be made error free. | 4.95 years | 4 |
| -FAQ: Common off the shelf is good enough, just as long as they are updated. | 5.12 years | 7 |
| -FAQ: Formal methods have no place in this, they are too hard or expensive! | 5.13 years | 3 |
| -FAQ: Microkernels are too slow for real time systems | 5.13 years | 1 |
| -FAQ: most of the errors can be fixed by retrying (e.g Minix 3 or Erlang) | 5.13 years | 3 |
| -FAQ: support of legacy systems is easy. | 5.13 years | 3 |
| -FAQ: the Essential 8 is the answer, just give me the budget please? | 5.13 years | 5 |
| -FAQ: The hardware needs to validated, lest misery follow | 5.12 years | 3 |
| -FAQ: Two Factor Authentication (2FA) will protect us! | 5.13 years | 2 |
| -FAQ: version control, who needs it | 4.02 years | 2 |
| -FAQ: VPNs, Airgaps and Network Filtering are enough! | 5.13 years | 1 |
| Anti-FAQ | 5.14 years | 1 |
| Anti-FAQ: why not | 5.12 years | 20 |
| Benno | 5.13 years | 1 |
| Contact | 5.13 years | 5 |
| DBC | 5.13 years | 1 |
| FAQ | 5.13 years | 9 |
| flurries | 5.14 years | 2 |
| flurry | 5.14 years | 4 |
| formal verification | 5.13 years | 7 |
| Gernot | 5.13 years | 2 |
| How | 4.67 years | 4 |
| IEC61131 | 5.14 years | 1 |
| laot-pub | 83.8 days | 75 |
| MERT | 4.92 years | 2 |
| Phil | 4.93 years | 5 |
| Quotes | 5.12 years | 17 |
| safety | 5.14 years | 1 |
| security-critical | 5.12 years | 3 |
| seL4 | 5.14 years | 1 |
| So what does it do a spook? | 5.13 years | 4 |
| So what does it do for a spook? | 5.13 years | 4 |
| So what does it do for an operator? | 5.13 years | 2 |
| So what does it for an operations manager? | 5.13 years | 1 |
| stutter | 5.14 years | 1 |
| Stuxnet | 5.12 years | 1 |
| Surely there are systems that do this task already or we can build one? | 5.13 years | 2 |
| TMG inside SafeTCL | 5.13 years | 2 |
| trustworthy | 5.13 years | 2 |
| Videos | 5.07 years | 18 |
| What | 5.13 years | 2 |
| Whiteboard | 5.13 years | 2 |
| Who | 3.95 years | 13 |
| Why | 5.13 years | 7 |
Available Wiki Pages