Search Results - "Sound of..."

Refine Results
  1. 4741
  2. 4742
  3. 4743
  4. 4744
  5. 4745
  6. 4746
  7. 4747
  8. 4748
  9. 4749
  10. 4750
  11. 4751
  12. 4752
  13. 4753
  14. 4754
  15. 4755
  16. 4756
  17. 4757
  18. 4758

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

    Published 2021
    Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
    Link to Metadata
    Electronic eBook
  19. 4759

    Transformation Literacy Pathways to Regenerative Civilizations /

    Published 2022
    Table of Contents: “…Introduction and conceptual framing - transformation literacy as a future-making skill -- Part 1: Mindsets in service of wellbeing on a healthy planet -- Setting the scene: How to connect with a world as an interconnected whole -- The same tone, but a new sound - understanding the story of the soul as pathway to regenerative civilizations -- Possible futures -- Transformative literacy as the ability to look forward from within -- Chinese cultural treasures as contributions to a mindset of interconnectedness for global transformations -- The systems aliveness approach - from navigating emergency to stewarding wellbeing on a healthy planet -- Part 2: Systems that enable and safeguard wellbeing on a healthy planet -- Setting the scene: Viewing the world as interconnected systems -- Everything is connected - envisioning how a regenerative world looks like -- Managing forestry in a sustainable manner, the importance of system´s analysis -- Sustainable community transformation process.…”
    Link to Metadata
    Electronic eBook
  20. 4760