cacophony
发表于 2025-3-28 17:55:52
http://reply.papertrans.cn/67/6601/660027/660027_41.png
ACRID
发表于 2025-3-28 21:02:55
http://reply.papertrans.cn/67/6601/660027/660027_42.png
Excitotoxin
发表于 2025-3-29 00:50:50
Automatically Detecting Inconsistencies in Program Specificationsameter is annotated with a mode that is related to the intended roles of the incoming and outgoing values of that parameter. Methods to check whether the programmer has chosen a plausibly correct mode for each parameter are also explained. The techniques described are lightweight and are applied at an early stage in the verification process.
creatine-kinase
发表于 2025-3-29 05:31:20
http://reply.papertrans.cn/67/6601/660027/660027_44.png
mastoid-bone
发表于 2025-3-29 08:20:10
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methodssystematic way to make explicit Runge-Kutta integration method safe with respect to the mathematical solution. As side effect, we can hence compare different integration schemes in order to pick the right one in different situations.
侵略者
发表于 2025-3-29 13:58:37
Numerical Abstract Domain Using Support Functionseoretic operations and, using a predefined set of directions, we define an efficient method to compute the fixpoint of linear and non-linear programs. Experiments show the efficiency and precision of our methods.
peak-flow
发表于 2025-3-29 18:00:17
Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Boundingternate schedules; these alternate schedules are executed in a . manner. We formally describe ., and present two correctness checking methods, one based on final state comparison, and the other on user assertions. We evaluate our implementation on realistic GPU benchmarks, with encouraging results.
做事过头
发表于 2025-3-29 21:58:09
0302-9743 ications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.978-3-642-38087-7978-3-642-38088-4Series ISSN 0302-9743 Series E-ISSN 1611-3349
Limerick
发表于 2025-3-30 02:15:09
Rody Kersten,Bernard van Gastel,Manu Drijvers,Sjaak Smetsers,Marko van Eekelen
烦躁的女人
发表于 2025-3-30 05:21:39
http://reply.papertrans.cn/67/6601/660027/660027_50.png