Go to technology
Agarikon, also known as quinine conk, is a large round or semicircular shelf fungus that grows on the bark of old growth conifers in forests around the world. Two thousand years ago a Greek physician called agarikon “an elixir of long life.” For centuries it has been used to treat tuberculosis, rheumatism, asthma, cancer, and inflammation, among other maladies.
，详情可参考51吃瓜网
But what about validating the actual code? Since Quint is executable, we can establish deterministic connections between the specification and the implementation through model-based testing: you run the same scenarios in both the spec and the code, and verify they behave identically. The confidence you build at the spec level transfers to the code level.，推荐阅读谷歌获取更多信息
Keep reading for HK$10What’s included