Format:
Table of Contents: “... instruction -- 3.1 Front-End and Microcode Verification -- 3.2 Verification of Execution Units -- 3...”
Click to View

Format:
Table of Contents: “... -- 3.2 Bit-Vectors -- 3.3 Floating-Point Arithmetic -- 3.4 Uninterpreted Functions -- 3.5 Quantifiers...”
Click to View

Format:
Table of Contents: “....1 Verification Framework via Assumption Learning -- 3.2 Model Conversion -- 3.3 Membership Queries -- 3...”
Click to View

Format:
Table of Contents: “... Probabilistic Programming Language -- 3.1 Program States and Variables -- 3.2 Syntax of ReDiP -- 3...”
Click to View

Format:
Table of Contents: “... for Stochastic Dynamical Systems -- 3 Implementation Details -- 3.1 Genie -- 3.2 FairSyn -- 3.3 Mascot-SDS -- 4...”
Click to View

Format:
Table of Contents: “... Formulas -- 3.2 Reflections via the Dual Space -- 3.3 Determinization -- 3.4 Rational-Spectrum Reflections...”
Click to View

Format:
Table of Contents: “... from Source to Source -- 3.2 Translation for Compilation -- 3.3 Translation for Verification -- 4...”
Click to View

Format:
Table of Contents: “... -- 3.2 The patient-specific CFD models -- 3.2.1 Image-based geometry and flow conditions -- 3.2...”
Click to View

Format:
Table of Contents: “... Control. -- 3.2 Customizable Abstraction/Refinement Function. -- 3.3 Symbolic State Extraction...”
Click to View

Format:
Table of Contents: “...3 Automata-based HyperLTL Model Checking -- 3.1 Automata-based Verification -- 3.2 HyperLTL Model...”
Click to View

Format:
Table of Contents: “... Program verification using VST -- 3 VSU calculus -- 3.1 Components and soundness -- 3.2 Derived rules -- 4...”
Click to View

Format:
Table of Contents: “....1 Overview -- 3.2 Classifying Operations -- 4 Recipe 1: Linear Scan -- 4.1 Motivating Example -- 4...”
Click to View

Format:
Table of Contents: “....1 Real-Time Operating System (RTOS) -- 2.2 Uppaal -- 3 Model Design -- 3.1 Naming Convention -- 3.2...”
Click to View

Format:
Table of Contents: “... -- 3.2 Functional Requirements of Permanent Well Barrier Elements -- 3.2.1 Sealing Capability -- 3.2...”
Click to View

Format:
Table of Contents: “...3.2 Concurrent Verification -- 4 Results -- 5 Conclusion -- References -- Test-Comp Contributions...”
Click to View

Format:
Table of Contents: “....1 An Audit Framework -- 3.2 Data Uploading -- 3.3 Self-integrity Verification....”
Click to View

Format:
Table of Contents: “... Conditions -- 2.4 Closed Form Solutions -- 3 Verification of the Experimental Method -- 3.1 Model Design -- 3.2...”
Click to View

Format:
Table of Contents: “... Systems and Platform Regulation -- 3.1 Introduction -- 3.2 Recommender Governance in the EU Platform...”
Click to View

Format:
Table of Contents: “....1 Introduction -- 3.2 Observation Schemes and Estimation Procedure -- 3.3 Results -- 3.4 Discussion -- References...”
Click to View

Format:
Table of Contents: “... -- 3.1 Introduction -- 3.2 Experimental Study on Corrosion-Induced Cracking -- 3.2.1 Filling of Strand...”
Click to View