What is there to read?
Seven explanatory articles, in English and Japanese. They are general explanation, written for equipment engineers.
| Track | Title | Path |
|---|---|---|
| Foundations | Why equipment software cannot run the right-hand side of the V-model | /articles/v-model-right-half/ |
| Foundations | What comes after “design with models” | /articles/model-to-proof/ |
| Foundations | What is the difference between testing and formal methods? | /articles/test-vs-proof/ |
| Practice | What a counterexample is | /articles/counterexample/ |
| Standards | Why safety standards ask for formal methods | /articles/why-standards-ask/ |
| Case studies | Who actually uses this | /articles/who-uses-formal-methods/ |
| Practice | What people actually ask | /articles/what-people-ask/ |
Japanese versions are at the same paths under /ja/.
“Who actually uses this” sets out published cases of organisations using formal methods, together with a plain account of how far adoption has not progressed.
Human-readable version: articles
Back to the question list.