相似
发表于 2025-3-21 17:34:53
书目名称Structured Object-Oriented Formal Language and Method影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0880323<br><br> <br><br>书目名称Structured Object-Oriented Formal Language and Method影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0880323<br><br> <br><br>书目名称Structured Object-Oriented Formal Language and Method网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0880323<br><br> <br><br>书目名称Structured Object-Oriented Formal Language and Method网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0880323<br><br> <br><br>书目名称Structured Object-Oriented Formal Language and Method被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0880323<br><br> <br><br>书目名称Structured Object-Oriented Formal Language and Method被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0880323<br><br> <br><br>书目名称Structured Object-Oriented Formal Language and Method年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0880323<br><br> <br><br>书目名称Structured Object-Oriented Formal Language and Method年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0880323<br><br> <br><br>书目名称Structured Object-Oriented Formal Language and Method读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0880323<br><br> <br><br>书目名称Structured Object-Oriented Formal Language and Method读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0880323<br><br> <br><br>
Amplify
发表于 2025-3-21 22:06:24
Runtime Verification of Ethereum Smart Contracts Based on MSVLescribe the security properties of smart contracts. Finally, runtime verification is used to verify whether the modeling program conforms to the given security properties. As a case study, a voting smart contract is employed to show the efficiency and effectiveness of the proposed approach.
CRUDE
发表于 2025-3-22 03:41:03
An MSVL Based Model Checking Method for Multi-threaded C ProgramsVL program. In addition, an example is given to illustrate how the approach works. The approach fully utilizes the powerful expressiveness of MSVL to verify the multi-threaded C programs in a direct way, and helps to improve the quality of the software system.
consolidate
发表于 2025-3-22 06:36:25
http://reply.papertrans.cn/89/8804/880323/880323_4.png
jagged
发表于 2025-3-22 11:44:47
An MSVL-Based Modeling Framework for Back Propagation Neural Networks significant. As a basic step towards the direction, this work proposes a comprehensive modeling framework for back propagation (BP) neural networks based on the formal language MSVL. In this framework, the structure and behavior of a BP neural network are formalized as specifications of data struct
船员
发表于 2025-3-22 16:51:14
http://reply.papertrans.cn/89/8804/880323/880323_6.png
贵族
发表于 2025-3-22 17:47:21
http://reply.papertrans.cn/89/8804/880323/880323_7.png
不如乐死去
发表于 2025-3-22 22:10:32
http://reply.papertrans.cn/89/8804/880323/880323_8.png
帽子
发表于 2025-3-23 05:04:08
http://reply.papertrans.cn/89/8804/880323/880323_9.png
GENUS
发表于 2025-3-23 08:57:14
Model Checking Multi-interruption Concurrent Programs with TMSVL reliability of real-time system software. The causes of concurrency in a real-time system program include task scheduling and interrupt mechanism, where multi-interruption is an effective means of real-time response to asynchronous events. This paper studies the modeling approach for multi-interrup