Titlebook: Dependable Software Engineering. Theories, Tools, and Applications; 7th International Sy Shengchao Qin,Jim Woodcock,Wenhui Zhang Conference

剛開始

DeepGlobal: A Global Robustness Verifiable FNN Frameworky concerns. Existing adversarial attack generation and automatic verification techniques cannot formally verify a network globally, i.e., finding all adversarial dangerous regions (ADRs) of a network is out of their reach. To address this problem, we develop a global robustness verifiable FNN framew

CLAIM

手段

Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semanticsferent language, the construction of a separate soundness proof is often a laborious undertaking. In language-independent program verification, common aspects of computer programs are addressed to enable sound reasoning for all languages. In this work, we propose a solution for the sound reasoning a

使混合

Trace Semantics and?Algebraic Laws for?MCA ARMv8 Architecture Based on?UTP), which brings relaxed-memory effects through thread-local out-of-order, speculative execution and thread-local buffering. In this paper, we investigate the trace semantics for the MCA ARMv8 architecture, acting in the denotational semantics style based on Unifying Theories of Programming (UTP). In

換話題

個(gè)阿姨勾引你

Verifying the?Correctness of?Distributed Systems via?Mergeable Parallelismessage passing is one of the communication methods in distributed systems. Verification of asynchronous distributed systems is valuable and challenging because of unpredictable interleavings and possible network faults. Asynchronous mode has better performance than the synchronous one, but asynchron

AVANT

燕麥

Mirage

角斗士

Predicting and Monitoring Bug-Proneness at the Feature Levels helpful for effectively allocating resources to the bug-prone features requiring further fixes. Researchers have proposed various studies on bug prediction at different granularity levels, such as class level, package level, method level, etc. However, there exists little work building predictive