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: “... 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: “....2 Verification Performance -- 5.3 Reducing Verification Time with Relaxation -- 5.4 Conservativeness of Different...”
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: “... Timed Automata -- 4.1 Successors of Simple Elementary Languages -- 4.2 Timed Observation Table...”
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: “... The Occlusion Robustness Verification Problem -- 4 SMT-Based Occlusion Robustness Verification -- 4.1 A Naïve...”
Click to View

Format:
Table of Contents: “... over Game Graphs -- 5.2 The Symbolic Algorithm -- 5.3 Proof Outline -- 6 Experimental Evaluation -- 6...”
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: “... Proofs -- 3 Linear Propagation Redundancy -- 4 CakeML Proof Checking -- 4.1 Verification Strategy -- 4...”
Click to View

Format:
Table of Contents: “... Configuration -- 5.2 Scalability: Resource Consumption for Verification -- 5.3 Sufficiency of 4-1-2-2...”
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: “... -- Chapter 4: Does the Risk of Death Continue to Rise Among Supercentenarians? -- 4.1 Introduction -- 4...”
Click to View

Format:
Table of Contents: “....1 Subsea Wells -- 5.3.2 Platform Wells -- 5.4 Types of Offshore Production Units -- 5.4.1 Bottom Supported...”
Click to View

Format:
Table of Contents: “... Platforms and Its Legal Implications -- 4.1 Introduction....”
Click to View

Format:
Table of Contents: “... Rotation Effect -- 5.2.1 Theoretical Expressions for Bond Strength -- 5.2.2 Model Verification -- 5.3 Model...”
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: “... Simulators -- 4 Water Networks and Urban Drainage -- 4.1 Design Phase -- 4.2 Construction and Commissioning...”
Click to View