Comment on Formally Verified Software in the Real World (2018)parentComments−nestorD7yI 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%252Fs...
Comments
I 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%252Fs...