4 ms·
Are you sure on that? It was B method they used afaik.
by fuklief 8y ago
Are you sure on that? It was B method they used afaik.
- cpeterso 8y agoWikipedia says B-Method. Parts of the train control system use OpenVMS! https://en.wikipedia.org/wiki/Paris_M%C3%A9tro_Line_14 https://en.wikipedia.org/wiki/Paris_M%C3%A9tro_Line_14 https://en.wikipedia.org/wiki/B-Method https://en.wikipedia.org/wiki/B-Method
- nestorD 8y agoI was told Coq but, after some checking, I can only find the B method indeed. However I did find a paper mixing both ([0]) : using Coq to prove the more complex proofs generated by atelier B. So it might have been both. [0] https://perso.crans.org/cauderlier/org/art%253A10.1007%252Fs10270-013-0322-z.pdf https://perso.crans.org/cauderlier/org/art%253A10.1007%252Fs...