margaria 中文意思是什麼
margaria
解釋
馬爾加里亞-
Tools and algorithms for the construction and analysis of systems, margaria and steffen eds., lncs 1055, passau, germany : springer verlag, 1996, pp. 147 - 166. 16 kripke s. a semantical analysis of modal logic
我們此理論上已經開發出一個完全自動化的安全協議驗證工具spv security protocol verifier .要驗證的規范可以帶有嵌套知識運算元，並且此工具是基於證明的，而不是象別的很多方法那樣是基於證偽的，即找漏洞
分享友人