Program Analysis and Verification Techniques (Q167620): Difference between revisions

From geokb
(‎Created a new Item: Added new OpenAlex topic claimed by USGS staff from API)
 
(‎Changed label, description and/or aliases in en, and other parts: modified description with assistance from Llama 3.1)
description / endescription / en
This cluster of papers covers a wide range of program analysis and verification techniques, including static analysis, formal verification, type inference, memory management, concurrency, garbage collection, separation logic, model checking, abstract
Analysis and verification of computer programs for correctness and reliability.

Revision as of 13:50, 30 August 2024

Analysis and verification of computer programs for correctness and reliability.
  • Static Analysis
  • Formal Verification
  • Type Inference
  • Memory Management
  • Concurrency
  • Garbage Collection
  • Separation Logic
  • Model Checking
  • Abstract Interpretation
  • Programming Language Semantics
Language Label Description Also known as
English
Program Analysis and Verification Techniques
Analysis and verification of computer programs for correctness and reliability.
  • Static Analysis
  • Formal Verification
  • Type Inference
  • Memory Management
  • Concurrency
  • Garbage Collection
  • Separation Logic
  • Model Checking
  • Abstract Interpretation
  • Programming Language Semantics

Statements

 
Retrieved from "https://geokb.wikibase.cloud/w/index.php?title=Item:Q167620&oldid=1124797"