催眠
发表于 2025-3-26 23:25:28
Computing Specification-Sensitive Abstractions for Program Verification,ition of its requirement specification. In this paper, we present an approach that, given a Java program and a partial requirement specification written using the Java Modeling Language, constructs a semantic slice. In the slice, the parts of the program irrelevant w.r.t. the partial requirements ar
isotope
发表于 2025-3-27 03:56:19
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models,worse, parameterizing model checking by memory consistency models, that is, to make the model checker as flexible as we can supply definitions of memory consistency models as an input, intensifies state explosion. This paper explores specific reasons for state explosion in model checking with multip
枯燥
发表于 2025-3-27 06:06:28
Identifying XML Schema Constraints Using Temporal Logic,onstraints of XML Schema. The traditional methods for identifying constraints is to develop corresponding algorithms based on the type of constraints. It is inflexible because the constraints may be changed as new Twig pattern optimizing rules are found. Since the constraints of XML Schema mainly de
Surgeon
发表于 2025-3-27 12:38:30
http://reply.papertrans.cn/27/2658/265731/265731_34.png
熄灭
发表于 2025-3-27 13:43:24
Importance Sampling for Stochastic Timed Automata, in stochastic timed automata. By means of symbolic exploration, our framework first identifies states that cannot reach the goal. A state-wise change of measure is then applied on-the-fly during simulations, ensuring that dead ends are never reached. The change of measure is guaranteed by construct
旧式步枪
发表于 2025-3-27 18:08:04
Semipositivity in Separation Logic with Two Variables,decidable, where it was shown that even with only two variables, if the use of negations is unrestricted, then they can be nested with separating implication in a complex way to get the undecidability result. In this paper, we revisit the decidability and complexity issues of first-order separation
Loathe
发表于 2025-3-28 00:48:01
Distributed Computation of Fixed Points on Dependency Graphs,checking questions, boolean equation systems and other problems can be reduced to fixed-point computations on dependency graphs. We develop a novel distributed algorithm for computing such fixed points, prove its correctness and provide an efficient, open-source implementation of the algorithm. The
fibula
发表于 2025-3-28 04:46:46
http://reply.papertrans.cn/27/2658/265731/265731_38.png
Flagging
发表于 2025-3-28 09:56:50
http://reply.papertrans.cn/27/2658/265731/265731_39.png
CLAIM
发表于 2025-3-28 11:28:05
http://reply.papertrans.cn/27/2658/265731/265731_40.png