Format:
Table of Contents: “... Background -- 3 EVM Semantics in Coq -- 4 Formal Verification of EVM-Optimizations in Coq -- 4.1 EVM Symbolic...”
Click to View

Format:
Table of Contents: “... -- 4 Efficient Verification via Proof Sharing -- 4.1 Choice of Abstract Domain -- 4.2 Template...”
Click to View

Format:
Table of Contents: “... Example -- 4 Approach -- 4.1 Intermediate-Layer Repair -- 4.2 Last-Layer Repair -- 4.3 Combining Experts...”
Click to View

Format:
Table of Contents: “... Timed Automata -- 4.1 Successors of Simple Elementary Languages -- 4.2 Timed Observation Table...”
Click to View

Format:
Table of Contents: “... Evaluation -- 4.1 Comparison to MATLAB's Deep Learning Verification Toolbox -- 4.2 Neural Ordinary...”
Click to View

Format:
Table of Contents: “... by SMT Solving -- 4.1 From Programs to Symbolic Store Trees -- 4.2 Marginalisation -- 5 Case Studies -- 5...”
Click to View

Format:
Table of Contents: “... Fortran Array Modeling -- 4.1 Fortran Array Semantics -- 4.2 Modeling Fortran Arrays for Verification -- 5...”
Click to View

Format:
Table of Contents: “... Programmatic Controllers -- 4 Proof Space Optimization -- 4.1 Controller Verification -- 4.2 Correctness...”
Click to View

Format:
Table of Contents: “... models -- 3.4 Model VVUQ -- 4 Turbulence descriptors -- 4.1 General characterization -- 4.1.1 Phase...”
Click to View

Format:
Table of Contents: “... The Occlusion Robustness Verification Problem -- 4 SMT-Based Occlusion Robustness Verification -- 4.1 A Naïve...”
Click to View

Format:
Table of Contents: “... Proofs -- 3 Linear Propagation Redundancy -- 4 CakeML Proof Checking -- 4.1 Verification Strategy -- 4...”
Click to View

Format:
Table of Contents: “... recurrences with squeezers -- 4 Synthesis -- 4.1 SyGuS -- 4.2 Verification -- 5 Empirical Evaluation -- 5...”
Click to View

Format:
Table of Contents: “... and Verification -- 4.1 Composition Requirements -- 4.2 OS Requirements -- 4.3 Verifying the Requirements -- 4.4 OS...”
Click to View

Format:
Table of Contents: “....2 Traceability glossary -- 4 Traceability Survey method -- 4.1 Data source and search strategy -- 4.2 Pruning...”
Click to View

Format:
Table of Contents: “... Bisemilattices -- 4.1 Confluence of the Rewriting System -- 4.2 Complete Terminating Confluent Rewrite System...”
Click to View

Format:
Table of Contents: “... -- Chapter 4: Does the Risk of Death Continue to Rise Among Supercentenarians? -- 4.1 Introduction -- 4...”
Click to View

Format:
Table of Contents: “....3 Qualification of New Plugging Materials -- References -- 4 Types of Permanent Plugging Materials -- 4.1 Setting...”
Click to View

Format:
Table of Contents: “... Simulation -- 4 Model-Free SVRG-Based ILC for MIMO Systems -- 4.1 System Description -- 4.2 Algorithm Design...”
Click to View

Format:
Table of Contents: “... Validation -- 4.1 Verification of Flow Velocity Processes and Cross-Sectional Flow Distribution -- 5 Analysis...”
Click to View

Format:
Table of Contents: “....5 Conclusions -- References -- 4 Bond Behavior Between Strand and Concrete with Corrosive Cracking -- 4.1...”
Click to View