• Hyperproperty
    In computer science, hyperproperties are a formalism for describing properties of computational systems. Hyperproperties generalize safety and liveness...
    8 KB (958 words) - 20:57, 25 January 2024
  • Side effect (computer science)
    v t e Program analysis Key concepts Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification...
    10 KB (1,119 words) - 16:22, 16 November 2024
  • Thumbnail for Model checking
    Model checking
    v t e Program analysis Key concepts Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification...
    25 KB (2,765 words) - 22:12, 29 October 2024
  • SAT solver
    v t e Program analysis Key concepts Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification...
    29 KB (3,580 words) - 02:22, 21 November 2024
  • Path explosion
    v t e Program analysis Key concepts Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification...
    3 KB (303 words) - 18:53, 12 August 2023
  • Static program analysis
    v t e Program analysis Key concepts Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification...
    18 KB (1,921 words) - 10:11, 12 August 2024
  • Safety and liveness properties
    v t e Program analysis Key concepts Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification...
    13 KB (1,738 words) - 21:31, 20 August 2024
  • Program slicing
    v t e Program analysis Key concepts Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification...
    10 KB (1,417 words) - 15:09, 3 July 2024
  • Dependence analysis
    v t e Program analysis Key concepts Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification...
    4 KB (564 words) - 13:04, 22 January 2024
  • Hoare logic
    v t e Program analysis Key concepts Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification...
    22 KB (3,643 words) - 22:35, 5 April 2024
  • E-graph
    v t e Program analysis Key concepts Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification...
    15 KB (2,143 words) - 20:26, 30 October 2024
  • Program analysis
    v t e Program analysis Key concepts Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification...
    10 KB (1,315 words) - 22:15, 5 August 2024
  • Polyvariance
    v t e Program analysis Key concepts Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification...
    2 KB (215 words) - 15:36, 8 August 2023
  • Separation logic
    v t e Program analysis Key concepts Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification...
    28 KB (3,647 words) - 14:42, 2 October 2024
  • Abstract interpretation
    v t e Program analysis Key concepts Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification...
    24 KB (2,924 words) - 16:16, 17 April 2024
  • Typestate analysis
    v t e Program analysis Key concepts Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification...
    14 KB (1,836 words) - 13:04, 12 September 2024
  • Temporal logic
    Kristopher K.; Rabe, Markus N.; Sánchez, César (2014). "Temporal Logics for Hyperproperties". Principles of Security and Trust. Lecture Notes in Computer Science...
    33 KB (3,804 words) - 12:12, 7 November 2024