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