Systemic
发表于 2025-3-26 23:03:42
Distortion and Faults in Machine Learning Software to synthesize approximate input-output relations. The outcomes of such DNN programs are dependent on the quality of both learning programs and datasets. However, the quality assurance of DNN software is difficult. The trained machine learning models, defining the functional behavior of the approxim
larder
发表于 2025-3-27 02:54:15
http://reply.papertrans.cn/89/8804/880318/880318_32.png
muscle-fibers
发表于 2025-3-27 06:53:59
http://reply.papertrans.cn/89/8804/880318/880318_33.png
Cirrhosis
发表于 2025-3-27 09:58:10
Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework circles. Under the guidance of the theory of formal verification, this paper summarizes three basic problems which indicate the common features of different neural networks, and proposes three typical properties covering the correctness of a model, the correctness of a sample and the robustness of
上涨
发表于 2025-3-27 14:39:11
UMC4M: A Verification Tool via Program Executionassertions. However, other temporal properties such as liveness cannot be verified with these tools. To tackle this problem, we develop a verification tool called . to verify full regular temporal properties of programs. . takes a modeling, simulation and verification language (MSVL) program . and a
暖昧关系
发表于 2025-3-27 21:28:18
Parallel Runtime Verification Approach for Alternate Execution of Multiple Threadsf these threads usually needs to satisfy a certain order restriction. In this paper, we employ a multi-core machine based parallel runtime verification approach to efficiently monitor the alternate execution of multiple threads. First, the problem is described in Modeling, Simulation and Verificatio
上釉彩
发表于 2025-3-27 22:45:23
http://reply.papertrans.cn/89/8804/880318/880318_37.png
Isolate
发表于 2025-3-28 06:08:32
http://reply.papertrans.cn/89/8804/880318/880318_38.png
BAIT
发表于 2025-3-28 07:51:39
http://reply.papertrans.cn/89/8804/880318/880318_39.png
EXTOL
发表于 2025-3-28 13:04:26
Formal Development and Verification of Reusable Component in PAR Platformal theories and formally certified software. Set, Bag, List, Tree, Graph are important reusable components in PAR platform. This paper tries to formally develop ‘Set’ components which have linear structure and verify the correctness of this component mechanically with Coq. The formal development of