Ataxia
发表于 2025-3-26 22:59:28
http://reply.papertrans.cn/27/2646/264514/264514_31.png
宫殿般
发表于 2025-3-27 04:54:40
http://reply.papertrans.cn/27/2646/264514/264514_32.png
Stress
发表于 2025-3-27 07:08:07
http://reply.papertrans.cn/27/2646/264514/264514_33.png
厌倦吗你
发表于 2025-3-27 11:59:20
http://reply.papertrans.cn/27/2646/264514/264514_34.png
率直
发表于 2025-3-27 14:54:19
http://reply.papertrans.cn/27/2646/264514/264514_35.png
Polydipsia
发表于 2025-3-27 19:16:06
http://reply.papertrans.cn/27/2646/264514/264514_36.png
Asparagus
发表于 2025-3-27 22:28:27
A Retrospective on Developing Hybrid System Provers in the KeYmaera Familygy, their logical proximity yet technical distance enables us to draw conclusions about the various advantages and disadvantages of different prover implementation styles for different purposes, which we hope are of generalizable interest.
表示向下
发表于 2025-3-28 03:28:54
http://reply.papertrans.cn/27/2646/264514/264514_38.png
不断的变动
发表于 2025-3-28 09:48:11
Formal Analysis of Smart Contracts: Applying the KeY Systemss properties and the formal methods that may be applied. Furthermore, we show how deductive program verification in particular can be used to prove correctness of smart contracts, and we discuss two approaches where we have applied the program verification tool KeY.
subacute
发表于 2025-3-28 12:00:45
http://reply.papertrans.cn/27/2646/264514/264514_40.png