Format:
Table of Contents: “....3 Concluding Remarks -- References -- Program Verification with Constrained Horn Clauses (Invited Paper) -- 1...”
Click to View

Format:
Table of Contents: “... Clauses -- 1 Introduction -- 2 Related Work -- 3 Motivating Example -- 4 Background -- 5 Test-case...”
Click to View

Format:
Table of Contents: “... Rust Iterators -- 1 Introduction -- 1.1 Contributions -- 2 Specifications in Rust Programs -- 3...”
Click to View

Format:
Table of Contents: “... -- References -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- 1 Introduction -- 2...”
Click to View

Format:
Table of Contents: “... in Transitive (Co)closure Logic -- 4.2 Applications in Automated Proof Search -- 4.2.1 Program Equivalence...”
Click to View

Format:
Table of Contents: “... Programs -- 7.2 Explicit Model Checking of Symbolic Systems -- 7.3 Hyperproperties for Path Planning -- 7...”
Click to View

Format:
Table of Contents: “... Games -- 1 Introduction -- 2 Preliminaries -- 2.1 Two-player graph games -- 2.2 Automata and formal...”
Click to View

Format:
Table of Contents: “... -- 1 Carpe Diem -- 1.1 Learning from Georgia -- 1.1.1 Laboratory of Reforms -- 1.1.2 Everything...”
Click to View