dandruff
发表于 2025-3-25 05:35:59
http://reply.papertrans.cn/84/8304/830400/830400_21.png
地壳
发表于 2025-3-25 08:35:34
http://reply.papertrans.cn/84/8304/830400/830400_22.png
Accolade
发表于 2025-3-25 12:22:09
http://reply.papertrans.cn/84/8304/830400/830400_23.png
假
发表于 2025-3-25 17:16:25
Asieh Salehi Fathabadi,Colin Snook,Dana Dghaym,Thai Son Hoang,Fahad Alotaibi,Michael Butler
eardrum
发表于 2025-3-25 21:25:37
Uwe Glässer,Jose Creissac Campos,Philippe Palanque
headlong
发表于 2025-3-26 01:33:16
Pattern-Based Refinement Generation Through Domain Specific Languagesate how patterns could be used to generate refinements automatically in the context of an Event-B development. Our main concerns are first to simplify the development of such systems by the use of patterns, and second to produce Event-B machines such that the user can choose to refine them additionally.
HEED
发表于 2025-3-26 07:46:14
Introducing Inductive Construction in B with the Theory Pluginry has been specified and proved within the Theory Plugin in Rodin. This induction theory clearly improves the existing B prover. This is illustrated in this paper by the implementation of ZFC in the Theory Plugin.
继承人
发表于 2025-3-26 12:03:22
http://reply.papertrans.cn/84/8304/830400/830400_28.png
faultfinder
发表于 2025-3-26 12:43:14
http://reply.papertrans.cn/84/8304/830400/830400_29.png
制定
发表于 2025-3-26 16:57:48
http://reply.papertrans.cn/84/8304/830400/830400_30.png