search

OpenSecEd / scientific-method

Learning material on the scientific method
Other
0 stars 0 forks source link

Add to formal methods about Yacraf #44

Open dbosk opened 5 months ago

dbosk commented 5 months ago

This is about Mathias work. This shows that formal models don't necessarily have to involve protocols and crypto or software.

dbosk commented 5 months ago

https://link.springer.com/article/10.1007/s10207-023-00713-y