Search Results - "Theory of computation~Logic and verification"

Safety and Robustness for Deep Learning with Provable Guarantees by Kwiatkowska, Marta

“…Computing systems are becoming ever more complex, with decisions increasingly often based on deep learning components. A wide variety of applications are being…”
Get full text

Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning by Halle, Sylvain

“…Boolean test input generation is the process of finding sets of values for variables of a logical expression such that a given coverage criterion is achieved…”
Get full text

Verifying Lock-Free Search Structure Templates (Artifact) by Patel, Nisarg, Shasha, Dennis, Wies, Thomas

“…We present and verify template algorithms for lock-free concurrent search structures that cover a broad range of existing implementations based on lists and…”
Get full text

Reconciling Event Structures with Modern Multiprocessors (Artifact) by Moiseenko, Evgenii, Podkopaev, Anton, Lahav, Ori, Melkonian, Orestis, Vafeiadis, Viktor

“…The artifact is a virtual machine image containing two Coq packages which include mechanization of proofs stated in the paper. The first package imm contains a…”
Get full text

Low-Level Bi-Abduction (Artifact) by Holík, Lukáš, Peringer, Petr, Rogalewicz, Adam, Šoková, Veronika, Vojnar, Tomáš, Zuleger, Florian

“…Broom is a new static analyzer for C written in OCaml. Broom primarily aims at open programs, i.e., fragments of programs, with dynamic pointer-linked data…”
Get full text

Owicki-Gries Reasoning for C11 RAR (Artifact) by Dalvandi, Sadegh, Doherty, Simon, Dongol, Brijesh, Wehrheim, Heike

“…The paper "Owicki-Gries Reasoning for C11 RAR" introduces a new proof calculus for the C11 RAR memory model that allows Owicki-Gries proof rules for compound…”
Get full text